4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2021
Probabilistic Metric Temporal Graph Logic
Sven Schneider, Maria Maximova, Holger Giese
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilisti…
cs.FL2014★ 4 cited
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata
Sven Schneider, Uwe Nestmann
We present an algorithm which modifies a deterministic pushdown automaton (DPDA) such that (i) the marked language is preserved, (ii) lifelocks are removed, (iii) deadlocks are rem…