DMCA

Symbolic Counterexample Generation for Discrete-time Markov Chains

by Nils Jansen , Erika Ábrahám , Barna Zajzon , Ralf Wimmer , Johann Schuster , Joost-Pieter Katoen , Bernd Becker
Citations:2 - 0 self