The benefits of relaxing punctuality

1996/01/01 by Rajeev Alur, Tomás Feder, Thomas A. Henzinger · 9 citations

paper · doi:10.1145/227595.227602

Cited by

• Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
• MightyPPL: Verification of MITL with Past and Pnueli Modalities
• On Syntactical Simplification of Temporal Operators in Negation-free MTL
• Learning Event-recording Automata Passively
• A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
• Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [europepmc]
• Scalable time-constrained planning of multi-robot systems. [europepmc]
• Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [europepmc]
• A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [europepmc]