Safraless Synthesis for Epistemic Temporal Specifications
Résumé
no abstract
Article Dans Une Revue
CoRR
Année : 2014
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699937
Soumis le : vendredi 2 février 2018-22:51:39
Dernière modification le : vendredi 24 mars 2023-14:53:06
Dates et versions
Identifiants
- HAL Id : hal-01699937 , version 1
Citer
Rodica Bozianu, Catalin Dima, Emmanuel Filiot. Safraless Synthesis for Epistemic Temporal Specifications. CoRR, 2014, abs/1405.0424. ⟨hal-01699937⟩
38
Consultations
0
Téléchargements