{"type":"conference","doi":"10.1145/167088.167242","page":"592 - 601","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Vardi, Moshe","first_name":"Moshe","last_name":"Vardi"}],"day":"01","publication":"Proceedings of the 25th annual ACM symposium on Theory of Computing","month":"06","article_processing_charge":"No","date_updated":"2022-03-21T11:11:37Z","extern":"1","citation":{"short":"R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.” In <i>Proceedings of the 25th Annual ACM Symposium on Theory of Computing</i>, 592–601. ACM, 1993. <a href=\"https://doi.org/10.1145/167088.167242\">https://doi.org/10.1145/167088.167242</a>.","ista":"Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the Theory of Computing, 592–601.","apa":"Alur, R., Henzinger, T. A., &#38; Vardi, M. (1993). Parametric real-time reasoning. In <i>Proceedings of the 25th annual ACM symposium on Theory of Computing</i> (pp. 592–601). San Diego, CA, United States of America: ACM. <a href=\"https://doi.org/10.1145/167088.167242\">https://doi.org/10.1145/167088.167242</a>","ama":"Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: <i>Proceedings of the 25th Annual ACM Symposium on Theory of Computing</i>. ACM; 1993:592-601. doi:<a href=\"https://doi.org/10.1145/167088.167242\">10.1145/167088.167242</a>","ieee":"R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” in <i>Proceedings of the 25th annual ACM symposium on Theory of Computing</i>, San Diego, CA, United States of America, 1993, pp. 592–601.","mla":"Alur, Rajeev, et al. “Parametric Real-Time Reasoning.” <i>Proceedings of the 25th Annual ACM Symposium on Theory of Computing</i>, ACM, 1993, pp. 592–601, doi:<a href=\"https://doi.org/10.1145/167088.167242\">10.1145/167088.167242</a>."},"conference":{"location":"San Diego, CA, United States of America","end_date":"1993-05-18","name":"STOC: Symposium on the Theory of Computing","start_date":"1993-05-16"},"date_published":"1993-06-01T00:00:00Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"4619","abstract":[{"text":"Traditional approaches to the algorithmic verification of real-time systems are limited to checking program correctness with respect to concrete timing properties (e.g., &quot;message delivery within 10 milliseconds&quot;). We address the more realistic and more ambitious problem of deriving symbolic constraints on the timing properties required of real-time systems (e.g., &quot;message delivery within the time it takes to execute two assignment statements&quot;). To model this problem, we introduce parametric timed automata -- finite-state machines whose transitions are constrained with parametric timing requirements. The emptiness question for parametric timed automata is central to the verification problem. On the negative side, we show that in general this question is undecidable. On the positive side, we provide algorithms for checking the emptiness of restricted classes of parametric timed automata. The practical relevance of these classes is illustrated with several verification examples. There remains a gap between the automata classes for which we know that emptiness is decidable and undecidable, respectively, and this gap is related to various hard and open problems of logic and automata theory.","lang":"eng"}],"main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/167088.167242"}],"oa_version":"None","date_created":"2018-12-11T12:09:47Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"88","publisher":"ACM","year":"1993","quality_controlled":"1","title":"Parametric real-time reasoning","status":"public"}