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