Name Card

Full name Familienname, Vorname
Legay, Axel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu Lightweight Verification of HyperpropertiesInproceedings Konferenzbeitrag 19-Oct-2023
2Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie ; Yang, Junxing ; Smolka, Scott A. ; Grosu, Radu Statistical model checkingBuchbeitrag Book Contribution2019
3Kalajdzic, Kenan ; Jegourel, Cyrille ; Legay, Axel ; Bartocci, Ezio ; Lukina, Anna ; Smolka, Scott A. ; Grosu, Radu Feedback Control for Statistical Model Checking of Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu ARES: Adaptive Receding-Horizon Synthesis of Optimal PlansKonferenzbeitrag Inproceedings 2017