Safraless Synthesis for Epistemic Temporal Specifications
Résumé
no abstract
Communication Dans Un Congrès
Année : 2014
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699934
Soumis le : vendredi 2 février 2018-22:51:31
Dernière modification le : vendredi 24 mars 2023-14:53:06
Dates et versions
Identifiants
- HAL Id : hal-01699934 , version 1
- ARXIV : 1405.0424
- DOI : 10.1007/978-3-319-08867-9_29
Citer
Rodica Bozianu, Catalin Dima, Emmanuel Filiot. Safraless Synthesis for Epistemic Temporal Specifications. Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.441--456, ⟨10.1007/978-3-319-08867-9_29⟩. ⟨hal-01699934⟩
44
Consultations
0
Téléchargements