research
∙
05/13/2021
Stateless Model Checking under a Reads-Value-From Equivalence
Stateless model checking (SMC) is one of the standard approaches to the ...
share
research
∙
11/23/2020
The Reads-From Equivalence for the TSO and PSO Memory Models
The verification of concurrent programs remains an open challenge due to...
research
∙
09/03/2019
Value-centric Dynamic Partial Order Reduction
The verification of concurrent programs remains an open challenge, as th...
research
∙
06/19/2019
Strategy Representation by Decision Trees with Linear Classifiers
Graph games and Markov decision processes (MDPs) are standard models in ...
research
∙
03/31/2018
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Given a model and a specification, the fundamental model-checking proble...
research
∙
02/02/2018