Synthesis of bounded integer parameters for parametric timed reachability games - Archive ouverte HAL
Communication Dans Un Congrès Lecture Notes in Computer Science Année : 2013

Synthesis of bounded integer parameters for parametric timed reachability games

Domaines

Autre [cs.OH]

Olivier Henri Roux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00940988

Soumis le : lundi 3 février 2014-11:15:16

Dernière modification le : vendredi 5 janvier 2024-03:22:58

Fichier non déposé

Dates et versions

hal-00940988 , version 1 (03-02-2014)

Identifiants

  • HAL Id : hal-00940988 , version 1

Citer

Aleksandra Jovanovic, Didier Lime, Olivier Henri Roux. Synthesis of bounded integer parameters for parametric timed reachability games. Symposium on Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoi, Vietnam. pp.87-101. ⟨hal-00940988⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N ANR NANTES-UNIVERSITE
138 Consultations
0 Téléchargements

Partager

More