_id,doi,title
10191,10.1145/3485541,The reads-from equivalence for the TSO and PSO memory models
10199,10.15479/at:ista:10199,Improved verification techniques for concurrent systems
9987,10.1007/978-3-030-81685-8_16,Stateless model checking under a reads-value-from equivalence
6942,10.1007/978-3-030-30281-8_7,Strategy representation by decision trees with linear classifiers
10190,10.1145/3360550,Value-centric dynamic partial order reduction
297,10.1007/978-3-319-89960-2_21,Strategy representation by decision trees in reactive synthesis
141,10.1007/978-3-319-96142-2_13,Symbolic algorithms for graphs and Markov decision processes with fairness objectives