scientific article; zbMATH DE number 1424034
From MaRDI portal
Publication:4945224
zbMath0943.03017MaRDI QIDQ4945224
Alexander Rabinovich, Joram Hirschfeld
Publication date: 5 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Future temporal logic needs infinitely many modalities, Temporal logics with incommensurable distances are undecidable, An SMT-based approach to satisfiability checking of MITL, Continuous time temporal logic with counting, Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities, Complexity of metric temporal logics with counting and the Pnueli modalities, Timer formulas and decidable metric temporal logic, A logical characterization of timed regular languages, Decidable metric logics, An infinite hierarchy of temporal logics over branching time, Is your model checker on time? On the complexity of model checking for timed modal logics, Decidable verification for reducible timed automata specified in a first order logic with time
