Cited By
View all- Bombardelli ATonetta S(2023)Reasoning with Metric Temporal Logic and Resettable Skewed ClocksNASA Formal Methods10.1007/978-3-031-33170-1_11(174-190)Online publication date: 16-May-2023
- Cimatti AGriggio AMagnago E(2022) LTL falsification in infinite-state systemsInformation and Computation10.1016/j.ic.2022.104977289:PAOnline publication date: 1-Nov-2022
- Cimatti AGriggio AMagnago E(2021)Automatic Discovery of Fair Paths in Infinite-State Transition SystemsAutomated Technology for Verification and Analysis10.1007/978-3-030-88885-5_3(32-47)Online publication date: 18-Oct-2021
- Show More Cited By