20 citations · 76 across the 16 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
Towards an Approximate Conformance Relation for Hybrid I/O Automata
Morteza Mohaqeqi, Mohammad Reza Mousavi
Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial ide…
cs.LO2016★ 9 cited
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The for…