Early detection of temporal constraint violations
From MaRDI portal
Publication:6178450
DOI10.1016/j.ic.2023.105114OpenAlexW4388557411MaRDI QIDQ6178450
Isaac Mackey, Jianwen Su, Raghubir Chimni
Publication date: 18 January 2024
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2023.105114
Cites Work
- Unnamed Item
- Data exchange: semantics and query answering
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- Automata-theoretic techniques for modal logics of programs
- Temporal constraint networks
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- 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.
- Conditional Simple Temporal Networks with Uncertainty and Resources
- A Proof of Kamp's theorem
This page was built for publication: Early detection of temporal constraint violations
