Early detection of temporal constraint violations

DOI10.1016/J.IC.2023.105114MaRDI QIDQ6178450zbMATH OpenOpenAlexFDO

Authors Isaac Mackey, Raghubir Chimni, Jianwen Su

Publication date 18 January 2024

Published in Information and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.ic.2023.105114

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• A Proof of Kamp's theorem
• Automata-theoretic techniques for modal logics of programs
• Conditional Simple Temporal Networks with Uncertainty and Resources
• Data exchange: semantics and query answering
• From generating process views over inter-organizational business processes to achieving their temporal consistency
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Parametric Trace Slicing and Monitoring
• Quantified event automata: towards expressive and efficient runtime monitors
• Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
• Temporal constraint networks

This page was built for publication: Early detection of temporal constraint violations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178450)