Cited By
View all- Iannopollo AIncer ISangiovanni-Vincentelli A(2024)Synthesizing LTL contracts from component libraries using rich counterexamplesScience of Computer Programming10.1016/j.scico.2024.103116236:COnline publication date: 1-Sep-2024
- Egolf DTripakis S(2023)Decoupled Fitness Criteria for Reactive SystemsSoftware Engineering and Formal Methods10.1007/978-3-031-47115-5_6(85-105)Online publication date: 6-Nov-2023
- Egolf DTripakis S(2023)Synthesis of Distributed Protocols by Enumeration Modulo IsomorphismsAutomated Technology for Verification and Analysis10.1007/978-3-031-45329-8_13(270-291)Online publication date: 24-Oct-2023
- Show More Cited By