The following pages link to A really temporal logic (Q4299300):
Displaying 50 items.
- Metric temporal logic revisited (Q266865) (← links)
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Deciding safety and liveness in TPTL (Q402360) (← links)
- Constraint LTL satisfiability checking without automata (Q472802) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- A contract-based approach to adaptivity (Q541295) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- Minimum and maximum delay problems in real-time systems (Q685111) (← links)
- Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Timed hyperproperties (Q821560) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Quantitative temporal logics over the reals: PSpace and below (Q868030) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- The power of the ``always'' operator in first-order temporal logic (Q1350527) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Verification in loosely synchronous queue-connected discrete timed automata. (Q1401187) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- On the expressivity and complexity of quantitative branching-time temporal logics (Q1401306) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Past pushdown timed automata and safety verification. (Q1426159) (← links)
- On clock-aware LTL parameter synthesis of timed automata (Q1648651) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- Min-max event-triggered computation tree logic (Q1847543) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← 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)
- Semantics of temporal constrained objects (Q1996867) (← links)
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- Complexity issues for timeline-based planning over dense time under future and minimal semantics (Q2067619) (← links)
- Satisfiability checking for mission-time \textsf{LTL} (MLTL) (Q2105410) (← links)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- A fuzzy real-time temporal logic (Q2353964) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
