A survey on temporal logics for specifying and verifying real-time systems (Q2418645): Difference between revisions

@@ Property / describes a project that uses @@
+IDLVALID
@@ Property / describes a project that uses: IDLVALID / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11704-013-2195-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2110062879
@@ Property / OpenAlex ID: W2110062879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. From ancient ideas to artificial intelligence
+Normal rank
@@ Property / cites work @@
+Q4824483
@@ Property / cites work: Q4824483 / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+On the completeness and decidability of duration calculus with iteration
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+Q4708923
@@ Property / cites work: Q4708923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5784982
@@ Property / cites work: Q5784982 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval semantics for tense logic: Some remarks
@@ Property / cites work: Interval semantics for tense logic: Some remarks / rank @@
+Normal rank
@@ Property / cites work @@
+Intervals and tenses
@@ Property / cites work: Intervals and tenses / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. II: Time periods
@@ Property / cites work: Axioms for tense logic. II: Time periods / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Actions and Events in Interval Temporal Logic
@@ Property / cites work: Actions and Events in Interval Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A critical examination of Allen's theory of action and time
+Normal rank
@@ Property / cites work @@
+Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+Q3318104
@@ Property / cites work: Q3318104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional temporal logics: decidability and completeness
+Normal rank
@@ Property / cites work @@
+The complexity of the temporal logic with ``until'' over general linear time
+Normal rank
@@ Property / cites work @@
+Quantitative temporal logics over the reals: PSpace and below
+Normal rank
@@ Property / cites work @@
+The complexity of temporal logic over the reals
@@ Property / cites work: The complexity of temporal logic over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of temporal logics with past
@@ Property / cites work: A hierarchy of temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733384
@@ Property / cites work: Q4733384 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of PCTL*
@@ Property / cites work: An axiomatization of PCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+Specification in CTL + past for verification in CTL.
+Normal rank
@@ Property / cites work @@
+The Complexity of CTL* + Linear Past
@@ Property / cites work: The Complexity of CTL* + Linear Past / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264097
@@ Property / cites work: Q4264097 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
+Normal rank
@@ Property / cites work @@
+Q4400800
@@ Property / cites work: Q4400800 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of temporal proofs
@@ Property / cites work: The power of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198727
@@ Property / cites work: Q4198727 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising first-order temporal logic: Until and since over linear time
+Normal rank
@@ Property / cites work @@
+Decidability and incompleteness results for first-order temporal logics of linear time
+Normal rank
@@ Property / cites work @@
+Q4364518
@@ Property / cites work: Q4364518 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the monodic fragment of first-order temporal logic
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Equality and monodic first-order temporal logic
@@ Property / cites work: Equality and monodic first-order temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939661
@@ Property / cites work: Q4939661 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some Recent Results in Metric Temporal Logic
@@ Property / cites work: Some Recent Results in Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251919
@@ Property / cites work: Q4251919 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating timed automata
@@ Property / cites work: Alternating timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Expressiveness and Complexity in Real-Time Model Checking
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Polytime model checking for times probabilistic computation tree logic
+Normal rank
@@ Property / cites work @@
+Counting CTL
@@ Property / cites work: Counting CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of compass logic
@@ Property / cites work: Undecidability of compass logic / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766545
@@ Property / cites work: Q2766545 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
+Normal rank
@@ Property / cites work @@
+An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
+Normal rank
@@ Property / cites work @@
+On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+An optimal decision procedure for right propositional neighborhood logic
+Normal rank
@@ Property / cites work @@
+Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
+Normal rank
@@ Property / cites work @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+Q5465436
@@ Property / cites work: Q5465436 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for Logics of Subinterval Structures over Dense Orderings
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281508
@@ Property / cites work: Q4281508 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-elementary lower bound for Propositional Duration Calculus
+Normal rank
@@ Property / cites work @@
+A mixed decision method for duration calculus
@@ Property / cites work: A mixed decision method for duration calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Take It NP-Easy: Bounded Model Construction for Duration Calculus
+Normal rank
@@ Property / cites work @@
+Deciding an Interval Logic with Accumulated Durations
+Normal rank
@@ Property / cites work @@
+Completeness of neighbourhood logic
@@ Property / cites work: Completeness of neighbourhood logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Duration Logic
@@ Property / cites work: Interval Duration Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553256
@@ Property / cites work: Q4553256 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic duration calculus for continuous time
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge and probability / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic extension of intuitionistic logic
@@ Property / cites work: A probabilistic extension of intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q4536598
@@ Property / cites work: Q4536598 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Q2766659
@@ Property / cites work: Q2766659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337453
@@ Property / cites work: Q3337453 / rank @@
+Normal rank
@@ Property / cites work @@
+Relations Among Complexity Measures
@@ Property / cites work: Relations Among Complexity Measures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about actions in dynamic linear time temporal logic
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of states in the situation calculus
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable propositional dynamic logic with explicit probabilities
+Normal rank
@@ Property / cites work @@
+A propositional dynamic logic with qualitative probabilities
+Normal rank
@@ Property / cites work @@
+Probabilistic temporal logics via the modal mu-calculus
+Normal rank