Similar Items: Optimal LTLf Synthesis
- On-the-fly LTLf Synthesis under Partial Observability
- Fast Obligation Translation and Synthesis
- sweap: Reactive Synthesis for Infinite-State Integer Problems
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- Verification of Neural Networks (Lecture Notes)