Cited By
View all- Namjoshi KPatel N(2022)Synthesis of Compact Strategies for Coordination ProgramsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-99524-9_3(46-63)Online publication date: 30-Mar-2022
- Amram GBansal SFried DTabajara LVardi MWeiss G(2021)Adapting Behaviors via Reactive SynthesisComputer Aided Verification10.1007/978-3-030-81685-8_41(870-893)Online publication date: 15-Jul-2021