A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability
(2017) Eighth International Symposium on Games, Automata, Logics and Formal Verification — Location: Roma, Italy (20.September.2017)
Files
gandalf2017.pdf
Open Access - Adobe PDF
- 247.28 KB
Details
- Authors
- Affiliations
Citations
Busard, S., & Pecheur, C. (2017). A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. In Patricia Bouyer, Andrea Orlandini and Pierluigi San Pietro (ed.), Proceedings of Eighth International Symposium on Games, Automata, Logics and Formal Verification. Open Publishing Association. https://doi.org/10.4204/EPTCS.256.18