Dynamic causes for the violation of timed reachability properties

DOI10.1007/978-3-030-57628-8_8OpenAlexW3081513980MaRDI QIDQ1996021

Stefan Leue, Martin Kölbl, Robert Schmid

Publication date: 2 March 2021

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-3aoeg9qmj7d57

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Operational causality -- necessarily sufficient and sufficiently necessary

Cites Work

• Unnamed Item
• Explaining counterexamples using causality
• Complexity, convexity and combinations of theories
• Causality Checking for Complex System Models
• Model Checking Real-Time Systems
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Lectures on Concurrency and Petri Nets
• Clock bound repair for timed systems

This page was built for publication: Dynamic causes for the violation of timed reachability properties