Safraless Synthesis for Epistemic Temporal Specifications - Archive ouverte HAL
Article Dans Une Revue CoRR Année : 2014

Safraless Synthesis for Epistemic Temporal Specifications

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01699937 , version 1 (02-02-2018)

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⟩

Collections

CNRS LACL UPEC
38 Consultations
0 Téléchargements

Partager

More