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

Loading