conftrace_

reactive synthesis

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

linear temporal logic (6) formal verification (5) temporal logic (4) controller synthesis (3) finite automaton (3) automata theory (2) model checking (2) game theory (2) best-effort synthesis (1) safety-critical system (1)

Papers

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 Reactive Synthesis of Dominant Strategies AAAI 2023 Synthesis from Satisficing and Temporal Goals AAAI 2022 Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic IJCAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019