54 citations · 213 across the 36 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 7 cited
Partially Ordered Automata and Piecewise Testability
Tomáš Masopust, Markus Krötzsch
Partially ordered automata are automata where the transition relation induces a partial order on states. The expressive power of partially ordered automata is closely related to th…
cs.LO2018★ 2 cited
Deciding Detectability for Labeled Petri Nets
Tomas Masopust, Xiang Yin
Detectability of discrete event systems (DESs) is a property to determine a priori whether the current and subsequent states can be determined based on observations. In this paper,…