Similar Items: Fast Obligation Translation and Synthesis
- Optimal LTLf Synthesis
- On-the-fly LTLf Synthesis under Partial Observability
- Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
- sweap: Reactive Synthesis for Infinite-State Integer Problems
- A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles