Publications Sort by Year of Publication Order AscDesc 2020 Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme , Mathias Lechner, Ramin Hasani, Daniela Rus, Radu Grosu, (2020) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Lagrangian Reachtubes: The Next Generation , Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Islam, Scott Smolka, Radu Grosu, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Learning Distributed Controllers for V-Formation , Shouvik Roy, Usama Mehmood, Radu Grosu, Scott Smolka, Scott Stoller, Ashish Tiwari, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Liquid Time-constant Networks , Ramin Hasani, Mathias Lechner, Alexander Amini, Daniela Rus, Radu Grosu, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Neural Flocking: MPC-based Supervised Learning of Flocking Controllers , Shouvik Roy, Usama Mehmood, Radu Grosu, Scott Smolka, Scott Stoller, Ashish Tiwari, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Neural Simplex Architecture , Dung Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott Smolka, Scott Stoller, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Next-Generation Lagrangian Reachtubes , S. Gruenbacher, J. Cyranka, M. Lechner, Md. Islam, S. Smolka, R. Grosu, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS On The Verification of Neural ODEs with Stochastic Guarantees , Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott Smolka, Radu Grosu, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models , Raffael Rameh, ELIZABETH CHERRY, Rodrigo Santos, (2020) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Swarm Model Checking on the GPU , R. DeFrancisco, S. Cho, M. Ferdman, S. Smolka, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Temporal-logic query checking over finite data streams , Samuel Huang, Rance Cleaveland, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Timed Automata Benchmark Description , Peter Fontana, Rance Cleaveland, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level , Samuel Huang, Madeline Diep, Kuk Jang, Elizabeth Cherry, Flavio Fenton, Rance Cleaveland, Mikael Lindvall, Rahul Mangharam, Adam Porter, (2020) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 2019 A tableau construction for finite linear-time temporal logic , Samuel Huang, Rance Cleaveland, (2019) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Delay differential equation-based models of cardiac tissue: Efficient implementation and effects on spiral-wave dynamics , Johnny Gomes, Marcelo Lobosco, Rodrigo Santos, ELIZABETH CHERRY, (2019) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS From Automated MRI Scan to Finite Elements , James Glimm, Hyunkyung Lim, Martin Bishop, Soojin Kim, (2019) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday , Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, (2019) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Large-scale interactive numerical experiments of chaos, solitons and fractals in real time via GPU in a web browser , Abouzar Kaboudian, ELIZABETH CHERRY, FLAVIO FENTON, (2019) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Parallel Acceleration on Removal of Optical Mapping Baseline Wandering , Ilija Uzelac, Shahriar Iravanian, Flavio Fenton, (2019) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans , Md Islam, Rance Cleaveland, Flavio Fenton, Radu Grosu, Paul Jones, Scott Smolka, (2019) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Real-time interactive simulations of large-scale systems on personal computers and cell phones: Toward patient-specific heart modeling and other applications , Abouzar Kaboudian, ELIZABETH CHERRY, FLAVIO FENTON, (2019) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Scott Smolka and Me , Rance Cleaveland, (2019) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Simulating waves, chaos and synchronization with a microcontroller , Andrea Welsh, Cristian Delgado, Casey Lee-Trimble, Abouzar Kaboudian, Flavio Fenton, (2019) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Spatiotemporal correlation uncovers characteristic lengths in cardiac tissue , Alessandro Loppini, Alessio Gizzi, Christian Cherubini, ELIZABETH CHERRY, FLAVIO FENTON, Simonetta Filippi, (2019) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 2018 An Algebraic Framework for Runtime Verification , Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic, (2018) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Pagination First page « First Previous page ‹‹ Page 1 Current page 2 Page 3 Page 4 Page 5 Next page ›› Last page Last »