A Game Approach to Determinize Timed Automata

Conference proceeding

Nathalie Bertrand, Amélie Stainer, Thierry Jéron and Moez Krichen

Vol.6604

LNCS

14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'11)

2011

Abstract

Computation and Language

Computer Science

1 Record Views

Title: A Game Approach to Determinize Timed Automata
Creators - without role: Nathalie Bertrand - Verification models and techniques applied to testing and control of reactive systems
Amélie Stainer - Verification models and techniques applied to testing and control of reactive systems
Thierry Jéron - Verification models and techniques applied to testing and control of reactive systems
Moez Krichen - Institut Supérieur d'Informatique et de Multimédia de Sfax
Publication Details: Vol.6604
Conference: 14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'11)
Series: LNCS
Publisher: Springer
Identifiers: 9912150908331
Academic Unit: Al Baha University
Language: English
Resource Type: Conference proceeding