Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

2

2023 - Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

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

2

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

Project ID: 76777

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

Select Git revision

1 result Searching

restarting-markov-chains-experiments

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Clone with SSH

Clone with HTTPS

Name	Last commit	Last update