Publications Sort by Year of Publication Order AscDesc 2021 A Distributed Simplex Architecture for Multi-Agent Systems (2021) U. Mehmood S. Stoller R. Grosu S. Roy A. Damare S. Smolka Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS A Network-based Cardiac Electrophysiology Simulator with Realistic Signal Generation and Response to Pacing Maneuvers (2021) Shahriar Iravanian Ilija Uzelac Abouzar Kaboudian Jonathan Langberg Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Adversarial Training is Not Ready for Robot Learning (2021) Mathias Lechner Ramin Hasani Radu Grosu Daniela Rus Thomas Henzinger Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Collision-Free 3D Flocking Using the Distributed Simplex Architecture (2021) U. Mehmood R. Grosu S. Smolka S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Control and anticontrol of chaos in fractional-order models of Diabetes, HIV, Dengue, Migraine, Parkinson's and Ebola virus diseases (2021) Manashita Borah Debanita Das Antara Gayan Flavio Fenton Elizabeth Cherry Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Controllability of voltage- and calcium-driven cardiac alternans in a map model (2021) Munoz LM Ampofo MO Cherry EM Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding (2021) S. Roy U. Mehmood R. Grosu S. Smolka S. Stoller A. Tiwari Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts (2021) John Berman Flavio Fenton Elizabeth Cherry Tinen Iles Paul Iaizzo Abouzar Kaboudian Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Model-Checking Support for File System Development (2021) W. Su Y. Liu G. Ganesan G. Holzmann G. Kuenning S. Smolka E. Zadok Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas (2021) H. Chen N. Paoletti S. Smolka S. Lin Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches (2021) L. Bortolussi F. Cairoli N. Paoletti S. Smolka S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Optimizing low-energy anti-fibrillation pacing: Lessons from a cellular automaton model (2021) Noah DeTal Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations (2021) Ilija Uzelac Abouzar Kaboudian Shahriar Iravanian Jimena Siles-Paredes James Gumbart Hiroshi Ashikaga Neal Bhatia Robert Gilmour Jr Elizabeth Cherry Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Safe CPS from Unsafe Controllers (2021) U. Mehmood S. Bak S. Smolka S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation (2021) Noah DeTal Abouzar Kaboudian Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Verification of Neural ODEs with Stochastic Guarantees (2021) S. Gruenbacher J. Cyranka M. Lechner S. Smolka R. Grosu Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2020 A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits (2020) Ramin Hasani Mathias Lechner Alexander Amini Daniela Rus Radu Grosu Hal Daumé III Aarti Singh Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Accelerating simulations of cardiac electrical dynamics through a multi‐GPU platform and an optimized data structure (2020) Eduardo Vasconcellos Esteban Clua Flavio Fenton Marcelo Zamith Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems (2020) F. Shmarov S. Soudjani N. Paoletti E. Bartocci S. Lin S. Smolka P. Zuliani Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Bayesian Neural Predictive Monitoring (2020) L. Bortolussi F. Cairoli N. Paoletti S. Smolka S. Stoller Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Better Automata through Process Algebra (2020) Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Data-Driven Robust Control for a Closed-Loop Artificial Pancreas (2020) N. Paoletti K. Liu H. Chen S. Smolka S. Lin Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Data-Driven Uncertainty Quantification for Cardiac Electrophysiological Models: Impact of Physiological Variability on Action Potential and Spiral Wave Dynamics (2020) Pras Pathmanathan Suran Galappaththige Jonathan Cordeiro Abouzar Kaboudian Flavio Fenton Richard Gray Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Excitable dynamics in neural and cardiac systems (2020) Roberto Barrio Stephen Coombes Mathieu Desroches Flavio Fenton Stefan Luther Esther Pueyo Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Fatal arrhythmias: another reason why doctors remain cautious about chloroquine/hydroxychloroquine for treating COVID-19 (2020) Ilija Uzelac Shahriar Iravanian Hiroshi Ashikaga Neal Bhatia Conner Herndon Abouzar Kaboudian James Gumbart Elizabeth Cherry Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Pagination Current page 1 Page 2 Page 3 Page 4 Page 5 Next page ›› Last page Last »
