Conference Paper
Verification of Neural ODEs with Stochastic Guarantees,
Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R.
, Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems,
Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo
, Haifa Verification Conference, to appear, (2017)
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems,
Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo
, Haifa Verification Conference, to appear, (2017)
Safe CPS from Unsafe Controllers,
Mehmood, U., Bak S., Smolka S. A., and Stoller S. D.
, Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
Safe CPS from Unsafe Controllers,
Mehmood, U., Bak S., Smolka S. A., and Stoller S. D.
, Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
Quantitative Regular Expressions for Arrhythmia Detection Algorithms,
Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu
, International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)
(1.06 MB) OpenUAV: A UAV Testbed for the CPS and Robotics Community,
Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay
, Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)
(825.63 KB) OpenUAV: A UAV Testbed for the CPS and Robotics Community,
Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay
, Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)
(825.63 KB) Next-Generation Lagrangian Reachtubes,
Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R.
, Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Neural State Classification for Hybrid Systems,
Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D.
, Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)
(528.72 KB) Neural State Classification for Hybrid Systems,
Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D.
, Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)
(528.72 KB) Model-Checking Support for File System Development,
Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E.
, Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)
Model-Checking Support for File System Development,
Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E.
, Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)
Lagrangian Reachabililty,
Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu
, Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)