Early detection of temporal constraint violations

DOI10.1016/J.IC.2023.105114OpenAlexW4388557411MaRDI QIDQ6178450FDOQ6178450

Authors: Isaac Mackey, Raghubir Chimni, Jianwen Su 

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

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)