Full name Familienname, Vorname
Kalajdzic, Kenan
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Kalajdzic, 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
2Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013