Name Card

Full name Familienname, Vorname
Smolka, Scott
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gruenbacher, Sophie ; Cyranka, Jacek ; Islam, Md Ariful ; Tschaikowski, Max ; Smolka, Scott ; Grosu, Radu Under the Hood of a Stand-Alone Lagrangian Reachability ToolArtikel Article2019
2Phan, Dung ; Yang, Junxing ; Clark, Matthew ; Grosu, Radu ; Schierman, John ; Smolka, Scott ; Stoller, Scott A Component-Based Simplex Architecture for High-Assurance Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2017
3Donzé, Alexandre ; Maler, Oded ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu ; Smolka, Scott On Temporal Logic and Signal ProcessingKonferenzbeitrag Inproceedings 2012