Cited By
View all- Ganty PManini NRanzato F(2024)Computing Reachable Simulations on Transition SystemsReachability Problems10.1007/978-3-031-72621-7_3(21-37)Online publication date: 18-Sep-2024
- Abate AGiacobbe MSchnitzer Y(2024)Bisimulation LearningComputer Aided Verification10.1007/978-3-031-65633-0_8(161-183)Online publication date: 26-Jul-2024
- Gleizer GMadnani KMazo Jr. MBartocci EPutot S(2022)A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation EquivalenceProceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3501710.3519534(1-11)Online publication date: 4-May-2022
- Show More Cited By