The benefits of relaxing punctuality
From MaRDI portal
Publication:4371517
DOI10.1145/227595.227602zbMath0882.68021OpenAlexW2049696538MaRDI QIDQ4371517
Thomas A. Henzinger, Tomás Feder, Rajeev Alur
Publication date: 19 January 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/6236
Related Items
Model Checking of Biological Systems, Temporal Minimal-World Query Answering over Sparse ABoxes, Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties, Real-time policy enforcement with metric first-order temporal logic, Temporal Robustness of Stochastic Signals, A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics, Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic, A space-efficient on-the-fly algorithm for real-time model checking, Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes, Unnamed Item, A logic for metric and topology, Axioms for real-time logics, Analog property checkers: a DDR2 case study, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Robust Analysis of Timed Automata Via Channel Machines, Unnamed Item, Metric temporal logic revisited, Presburger liveness verification of discrete timed automata., Timed hyperproperties, Combining refinement and signal-temporal logic for biological systems, Adequacy and complete axiomatization for timed modal logic, Efficient timed model checking for discrete-time systems, The Expressive Power of Temporal and First-Order Metric Logics, Deadness and how to disprove liveness in hybrid dynamical systems, Metric temporal reasoning with less than two clocks, Time-Bounded Verification of CTMCs against Real-Time Specifications, On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections], Model Checking Real-Time Systems, Checking EMTLK properties of timed interpreted systems via bounded model checking, Robust parametric reachability for timed automata, Temporal Logic Verification for Delay Differential Equations, Time-Bounded Verification, Algorithms for monitoring real-time properties, LARS: a logic-based framework for analytic reasoning over streams, On clock-aware LTL parameter synthesis of timed automata, On the freeze quantifier in Constraint LTL: Decidability and complexity, Quantitative temporal logics over the reals: PSpace and below, Bounded variability of metric temporal logic, Temporal logics with incommensurable distances are undecidable, SMT-based satisfiability of first-order LTL with event freezing functions and metric operators, MR4UM: a framework for adding fault tolerance to UML state diagrams, Trace Analysis Using an Event-Driven Interval Temporal Logic, A survey on temporal logics for specifying and verifying real-time systems, A Distributed Approach to LARS Stream Reasoning (System paper), Approximating Continuous Systems by Timed Automata, HRELTL: a temporal logic for hybrid systems, An SMT-based approach to satisfiability checking of MITL, Pushdown timed automata: A binary reachability characterization and safety verification., Continuous time temporal logic with counting, Continuous accessibility modal logics, A two‐dimensional metric temporal logic, Automata and logics over finitely varying functions, Verification of gap-order constraint abstractions of counter systems, Unnamed Item, Unnamed Item, Unnamed Item, Interrupt timed automata: verification and expressiveness, On the timed temporal logic planning of coupled multi-agent systems, Parameterized model checking of weighted networks, 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 logic of behaviour in context, STL*: extending signal temporal logic with signal-value freezing operator, Theorem proving for pointwise metric temporal logic over the naturals via translations, Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates, Parametric metric interval temporal logic, Heterogeneous and asynchronous networks of timed systems, Parameterized model checking of networks of timed automata with Boolean guards, Timeline-based planning over dense temporal domains, Intention as commitment toward time, Modelling temporal behaviour in complex systems with Timebands, Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\), A temporal logic for micro- and macro-step-based real-time systems: foundations and applications, A contract-based approach to adaptivity, Monotonic hybrid systems, A survey of challenges for runtime verification from advanced application domains (beyond software), Timed modal logics for real-time systems. Specification, verification and control, Complexity of metric temporal logics with counting and the Pnueli modalities, On the expressiveness of TPTL and MTL, Unnamed Item, Timer formulas and decidable metric temporal logic, The compound interest in relaxing punctuality, Timed vacuity, Model checking restricted sets of timed paths, Distributed Event Clock Automata, A logical characterization of timed regular languages, Decidable metric logics, Verifying untimed and timed aspects of the experimental batch plant, Robustness of temporal logic specifications for continuous-time signals, Monitoring bounded LTL properties using interval analysis, Incremental reasoning in probabilistic signal temporal logic, Sampling polynomial trajectories for LTL verification, On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing, THE EXPRESSIVE POWER OF MEMORY LOGICS, Event-clock automata: a determinizable class of timed automata, Model-checking Timed Temporal Logics, Complexity issues for timeline-based planning over dense time under future and minimal semantics, Linear-time temporal logics with Presburger constraints: an overview ★, Safe Runtime Verification of Real-Time Properties, Realizability of Real-Time Logics, Checking Timed Büchi Automata Emptiness Using LU-Abstractions, Decision problems for lower/upper bound parametric timed automata, Making Metric Temporal Logic Rational, REASONING ABOUT TRANSFINITE SEQUENCES, Is your model checker on time? On the complexity of model checking for timed modal logics, Satisfiability checking for mission-time \textsf{LTL} (MLTL), Survey on mining signal temporal logic specifications, \textsc{LTL} falsification in infinite-state systems, System design of stochastic models using robustness of temporal properties, Monitoring timed properties (revisited), MITL verification under timing uncertainty, Decidable verification for reducible timed automata specified in a first order logic with time, Context-free timed formalisms: robust automata and linear temporal logics, A fuzzy real-time temporal logic, A tool for deciding the satisfiability of continuous-time metric temporal logic
