Synthesis of bounded integer parameters for parametric timed reachability games

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00940988
Contributor : Olivier Henri Roux <>
Submitted on : Monday, February 3, 2014 - 11:15:16 AM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM

Identifiers

  • HAL Id : hal-00940988, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

266