scientific article; zbMATH DE number 2112984
From MaRDI portal
zbMath1127.03012MaRDI QIDQ4824483
Alexander Rabinovich, Joram Hirschfeld
Publication date: 1 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items
Metric temporal logic revisited, The Expressive Power of Temporal and First-Order Metric Logics, Time-Bounded Verification, Quantitative temporal logics over the reals: PSpace and below, Bounded variability of metric temporal logic, Temporal logics with incommensurable distances are undecidable, A survey on temporal logics for specifying and verifying real-time systems, Continuous time temporal logic with counting, Some Recent Results in Metric Temporal Logic, Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities, MTL with Bounded Variability: Decidability and Complexity, A temporal logic for micro- and macro-step-based real-time systems: foundations and applications, Complexity of metric temporal logics with counting and the Pnueli modalities, \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\), Timer formulas and decidable metric temporal logic, From Logic to Theoretical Computer Science – An Update, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Decidable metric logics, Robustness of temporal logic specifications for continuous-time signals, Unnamed Item, Model-checking Timed Temporal Logics, Synthesis for continuous time, A tool for deciding the satisfiability of continuous-time metric temporal logic
