Pages that link to "Item:Q689093"
From MaRDI portal
The following pages link to Real-time logics: Complexity and expressiveness (Q689093):
Displayed 27 items.
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Decidable metric logics (Q999264) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Planning control rules for reactive agents (Q1389598) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Solving multi-granularity temporal constraint networks (Q1614864) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Min-max event-triggered computation tree logic (Q1847543) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Some Recent Results in Metric Temporal Logic (Q3543284) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers (Q5505598) (← links)
- A Logical Characterisation of Event Clock Automata (Q5696929) (← links)
- Min-max Computation Tree Logic (Q5940962) (← links)