2023 - Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems

Project information

Javier Esparza, Vincent P. Grande: "Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems", ICALP 2023. 50th EATS International Colloquium on Automata, Languages and Programming, 2023

https://drops.dagstuhl.de/storage/00lipics/lipics-vol261-icalp2023/LIPIcs.ICALP.2023.126/LIPIcs.ICALP.2023.126.pdf

14 Commits
1 Branch
0 Tags

README

Created on

October 19, 2022

Copy SSH clone URLgit@git.rwth-aachen.de:netsci/restarting-markov-chains-experiments.git
Copy HTTPS clone URLhttps://git.rwth-aachen.de/netsci/restarting-markov-chains-experiments.git

Loading