Symbolic Synthesis for Epistemic Specifications with Observational Semantics
Abstract elided by the publisher.
Related papers
- Safraless Synthesis for Epistemic Temporal Specifications CAV 2014
- Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs TACAS 1997
- Programming and reasoning with partial observability OOPSLA 2020
- Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis POPL 2025
- Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic TACAS 2014
- LydiaSyft: A Compositional Symbolic Synthesis Framework for LTLf Specifications TACAS 2025
- Semantic Code Refactoring for Abstract Data Types POPL 2024
- FlashMeta: a framework for inductive program synthesis OOPSLA 2015