Workshop Scope
Robots are increasingly powered by learned perception, prediction, and decision models. Recent progress in reinforcement learning and robotic foundation models has further amplified this trend. However, guaranteeing safety and verifying the behaviors of learned models is difficult, due to, for example, the use of deep neural networks and the potential for hallucinations. Reliable deployment of robots requires explicit guarantees about safety and task satisfaction. Formal methods—a set of rigorous techniques for specifying, analyzing, and verifying systems—offer a framework for considering such problems.
This workshop focuses on two complementary viewpoints at the interface of learning and formal methods: learning for formal methods and learning with formal methods. Learning for formal methods studies how data-driven techniques can provide the missing ingredients that formal synthesis and verification often assume, including specifications and constraints inferred from demonstrations, preferences, or language, as well as abstractions, uncertainty sets, and conservative models that enable provable reasoning. Learning with formal methods studies how formal tools can guide and constrain learning, for example, through specification-aware training, verification, and certification of learned components, and runtime monitoring and shielding.
We bring together researchers from various disciplines—including robot learning, formal methods, planning, controls, safety, and multi-robot systems—to share past work, recent advances, and open problems in this exciting research area. The workshop will consist of a diverse set of invited talks and poster sessions. We hope to identify new research directions, open problems, and interdisciplinary perspectives that bridge these two fields and lead to new advances in robotics.
The workshop is organized along two complementary directions:
- Learning for formal methods: specification/constraint inference, learning abstractions and models, uncertainty descriptions for synthesis.
- Learning with formal methods: formally grounded learning objectives, verification and certification of learned components, runtime assurance (monitors, shields, fallback controllers).
Topics of interest include, but are not limited to:
- Understanding specifications and constraints: learning from demonstrations, preferences, or language; learning abstractions (predicates, automata, contracts); learning models and uncertainty sets for synthesis.
- World-model training and verification: specification-aware training; verification and certification of learned policies and components; formal runtime assurance.
- World models in robotics: safe reinforcement learning, certifiable perception and prediction, verified learned components, multi-robot systems.
- Benchmarks, datasets, and demonstrations for learning and formal methods in robotics.
Invited Speakers & Panelist
(acceptance order)
Organizing Team
* Corresponding organizers
Schedule & Speakers
September 27, 2026 · Pittsburgh, PA
| Time | Activity |
|---|---|
| 08:30 – 08:35 | Introduction |
| 08:35 – 09:05 | Invited talk 1: Ahmed Qureshi — Formal Specifications as Inductive Bias for Robot Policy Learning and Control |
| 09:05 – 09:35 | Invited talk 2: Chuchu Fan — Runtime safety layers for learning-enabled autonomy |
| 09:35 – 10:05 | Invited talk 3: Sheila McIlraith — Exploiting Formal Languages in Robot Policy Learning: Faster, Safer, and Better |
| 10:05 – 10:35 | Invited talk 4: Hadas Kress-Gazit — Monitoring for Robot Foundation Models |
| 10:35 – 11:00 | Poster session and coffee break |
| 11:00 – 11:30 | Invited talk 5: Yiannis Kantaros — Assured Perception-based Planning in Unknown Environments |
| 11:30 – 12:00 | Invited talk 6: Glenn Chou — Planning Safely with Learned Dynamics Beyond the Training Data |
| 12:00 - 12:15 | Junior research talk |
| 12:15 – 12:30 | Closing remarks and awards |
Call for Papers
We invite contributions centered around the following two perspectives:
- Learning for formal methods: specification/constraint inference (from demos, feedback, language), learning abstractions and compositional interfaces (predicates, automata, contracts), and learning models and uncertainty descriptions for synthesis (calibration, conformal bounds, conservative dynamics/environment models).
- Learning with formal methods: formally grounded learning objectives (logic- or robustness-based losses, constrained learning/RL), verification and certification of learned policies and components (NN verification, certified robustness, barrier/reachability certificates), and formal runtime assurance (monitors, shields, fallback controllers, falsification and counterexample-guided data collection).
A paper submission should be 4-8 pages in length (including references). Submissions should concisely describe the core idea and results, highlight novelty, and clearly position the work within one or both workshop perspectives (learning for formal methods, learning with formal methods). All papers must be submitted in PDF format and follow the standard IEEE conference formatting guidelines (templates are available on the IEEE website).
Submissions will be reviewed by a Program Committee composed of the organizers, invited speakers, and additional experts in the area. Reviews will consider the following criteria.
- Relevance and positioning: Does the submission clearly connect to learning for formal methods (e.g., learning specifications, abstractions, models, uncertainty descriptions) and/or learning with formal methods (e.g., formally grounded learning objectives, certification, runtime assurance)?
- Technical clarity: Are the problem setting, assumptions, and evaluation protocol stated clearly enough to assess the claims?
- Methodological soundness: Are the proposed methods well motivated and technically credible, including how uncertainty, ambiguity, or robustness is handled when applicable?
- Novelty and potential impact: What is new relative to prior work, and how likely is the approach to influence future research or enable stronger guarantees in learning-enabled robotics?
- Insights and outlook: Does the paper surface limitations, open problems, or concrete research questions that can shape follow-on work by the community?
Accepted papers will be posted on the workshop website, and at least one author of each accepted paper will be invited to present in the workshop poster session.
Submission link: See Submit section
Call for Talk Proposals
We invite junior researchers, who are either close to completing their PhD or are recent graduates, to share their PhD research work and research vision on learning + formal methods at our workshop as a 15-min talk.
Applicants must have either defended their PhD thesis after May 2024 or must be in their 3+ years of PhD study. Applicants are invited to submit a talk proposal in the form of an extended abstract of up to 2 pages (excluding references) summarizing their PhD research on a topic of interest to the workshop.
One proposal will be selected for presentation; others may be considered for the poster session.
Submission link: TBD — see Submit section
Submit
Submission links for papers and talk proposals will be posted here.