Explore projects

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

ITA Toolbox for Matlab

Contact AddressBook created with Angular