Thao Dang and Tarik Nahhal
Randomized simulation of Hybrid Systems (2006)
Randomized simulation of Hybrid Systems (2006)
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Technical Reports
TR-2006-11.pdf
Keywords: Hybrid systems, validation, coverage
Abstract:
Navigation
Actualités
- Conférences
- June 22-26, 2020 MOVEP 2020
- Du 28 septembre au 2 octobre 2020 AlgoTel et CoRes 2020
- Du 18 au 21 novembre 2020 SSS 2020
Nouvelles publications
- Publications
Récentes
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Vers l'infini et au delà
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
