Cited By
View all- Ho HMadnani K(2025)Metric quantifiers and counting in timed logics and automataInformation and Computation10.1016/j.ic.2025.105268303(105268)Online publication date: Mar-2025
- Krishna SMadnani KMazo Jr. MPandya P(2023)From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with QuantifiersFormal Aspects of Computing10.1145/357174935:2(1-50)Online publication date: 23-Jun-2023
- Vinarskii EZakharov V(2021)On the Modeling of Sequential Reactive Systems by Means of Real Time AutomataAutomatic Control and Computer Sciences10.3103/S014641162107017855:7(751-762)Online publication date: 1-Dec-2021
- Show More Cited By