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