Efficient reactive synthesis using mode decomposition
From MaRDI portal
Publication:6605360
DOI10.1007/978-3-031-47963-2_16MaRDI QIDQ6605360FDOQ6605360
Authors: Matías Brizzio, César Sánchez 
Publication date: 13 September 2024
Cites Work
- Using branching time temporal logic to synthesize synchronization skeletons
- Temporal verification of reactive systems: response
- Title not available (Why is that?)
- Synthesis of Reactive(1) designs
- Title not available (Why is that?)
- Safety, liveness and fairness in temporal logic
- Model checking of safety properties
- Deterministic generators and games for LTL fragments
- Safraless Compositional Synthesis
- Compositional algorithms for LTL synthesis
- Characterization of temporal property classes
- Owl: a library for \(\omega \)-words, automata, and LTL
- More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
- Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22--27, 2023. Proceedings. Part II
- Tableaux for realizability of safety specifications
- Compositionality: the significant difference. International symposium, COMPOS'97 Bad Malente, Germany, September 8--12, 1997. Revised lectures
This page was built for publication: Efficient reactive synthesis using mode decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6605360)
