Cited By
View all- Koll CMomtaz ABonakdarpour BAbbas H(2023)Decentralized Predicate Detection Over Partially Synchronous Continuous-Time SignalsRuntime Verification10.1007/978-3-031-44267-4_11(213-230)Online publication date: 3-Oct-2023
- Tian DFang HYang QWei Y(2022)Decentralized Motion Planning for Multiagent Collaboration Under Coupled LTL Task SpecificationsIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2021.307310552:6(3602-3611)Online publication date: Jun-2022
- Hariharan GKempa BWongpiromsarn TJones PRozier K(2022)MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different TypesSoftware Verification and Formal Methods for ML-Enabled Autonomous Systems10.1007/978-3-031-21222-2_11(187-204)Online publication date: 11-Aug-2022