Publications

Export 110 results:
Author Title Type [ Year(Asc)]
2020
Lagrangian Reachtubes: The Next Generation, Gruenbacher, Sophie, Cyranka Jacek, Lechner Mathias, Islam Md. Ariful, Smolka Scott A., and Grosu Radu , (2020)
Learning Distributed Controllers for V-Formation, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Liquid Time-constant Networks, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , (2020)
A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , Proceedings of the 37th International Conference on Machine Learning, 13–18 Jul, (2020)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
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)
Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models, Rameh, Raffael Bechara, CHERRY ELIZABETH M., and Santos Rodrigo Weber dos , Communications in Nonlinear Science and Numerical Simulation, Volume 82, p.105066, (2020)
Swarm Model Checking on the GPU, DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. , International Journal on Software Tools for Technology Transfer, (2020)
Temporal-logic query checking over finite data streams, Huang, Samuel, and Cleaveland Rance , International Conference on Formal Methods for Industrial Critical Systems, (2020)
Timed Automata Benchmark Description, Fontana, Peter, and Cleaveland Rance , arXiv preprint arXiv:2005.13151, (2020)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level, Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam , CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)
2019
Delay differential equation-based models of cardiac tissue: Efficient implementation and effects on spiral-wave dynamics, Gomes, Johnny Moreira, Lobosco Marcelo, Santos Rodrigo Weber dos, and CHERRY ELIZABETH M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 29, p.123128, (2019)
From Automated MRI Scan to Finite Elements, Glimm, James, Lim Hyunkyung, Bishop Martin, and Kim Soojin , p.35-48, (2019)  (647.88 KB)
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Bartocci, Ezio, Cleaveland Rance, Grosu Radu, and Sokolsky Oleg , (2019)
Large-scale interactive numerical experiments of chaos, solitons and fractals in real time via GPU in a web browser, Kaboudian, Abouzar, CHERRY ELIZABETH M., and FENTON FLAVIO H. , Chaos, Solitons & Fractals, Volume 121, p.6–29, (2019)
Parallel Acceleration on Removal of Optical Mapping Baseline Wandering, Uzelac, Ilija, Iravanian Shahriar, and Fenton Flavio H. , 2019 Computing in Cardiology (CinC), 09/2019, (2019)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, Volume 765, p.158–169, (2019)
Real-time interactive simulations of large-scale systems on personal computers and cell phones: Toward patient-specific heart modeling and other applications, Kaboudian, Abouzar, CHERRY ELIZABETH M., and FENTON FLAVIO H. , Science Advances, Volume 5, p.eaav6019, (2019)
Scott Smolka and Me, Cleaveland, Rance , From Reactive Systems to Cyber-Physical Systems, p.1–6, (2019)
Simulating waves, chaos and synchronization with a microcontroller, Welsh, Andrea J., Delgado Cristian, Lee-Trimble Casey, Kaboudian Abouzar, and Fenton Flavio H. , Chaos: An Interdisciplinary Journal of Nonlinear Science, 12/2019, Volume 29, Issue 12, (2019)
Spatiotemporal correlation uncovers characteristic lengths in cardiac tissue, Loppini, Alessandro, Gizzi Alessio, Cherubini Christian, CHERRY ELIZABETH M., FENTON FLAVIO H., and Filippi Simonetta , Physical Review E, Volume 100, (2019)
A tableau construction for finite linear-time temporal logic, Huang, Samuel, and Cleaveland Rance , arXiv preprint arXiv:1910.09339, (2019)

Pages