Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Value-centric Dynamic Partial Order Reduction
Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
The verification of concurrent programs remains an open challenge, as thread interaction has to be accounted for, which leads to state-space explosion. Stateless model checking bat…
cs.LO2019
Strategy Representation by Decision Trees with Linear Classifiers
Pranav Ashok, Tomáš Brázdil, Krishnendu Chatterjee +3
Graph games and Markov decision processes (MDPs) are standard models in reactive synthesis and verification of probabilistic systems with nondeterminism. The class of -regular w…