@conference {,
	title = {Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme},
	booktitle = {2020 IEEE International Conference on Robotics and Automation (ICRA)},
	year = {2020},
	doi = {10.1109/ICRA40945.2020.9196608},
	author = {Lechner, Mathias and Hasani, Ramin and Rus, Daniela and Grosu, Radu}
}
@conference {,
	title = {A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits},
	booktitle = {Proceedings of the 37th International Conference on Machine Learning},
	year = {2020},
	month = {13{\textendash}18 Jul},
	publisher = {PMLR},
	organization = {PMLR},
	abstract = {<p>We propose a neural information processing system obtained by re-purposing the function of a biological neural circuit model to govern simulated and real-world control tasks. Inspired by the structure of the nervous system of the soil-worm, C. elegans, we introduce ordinary neural circuits (ONCs), defined as the model of biological neural circuits reparameterized for the control of alternative tasks. We first demonstrate that ONCs realize networks with higher maximum flow compared to arbitrary wired networks. We then learn instances of ONCs to control a series of robotic tasks, including the autonomous parking of a real-world rover robot. For reconfiguration of the purpose of the neural circuit, we adopt a search-based optimization algorithm. Ordinary neural circuits perform on par and, in some cases, significantly surpass the performance of contemporary deep learning models. ONC networks are compact, 77\% sparser than their counterpart neural controllers, and their neural dynamics are fully interpretable at the cell-level.</p>
},
	url = {http://proceedings.mlr.press/v119/hasani20a.html},
	author = {Hasani, Ramin and Lechner, Mathias and Amini, Alexander and Rus, Daniela and Grosu, Radu},
	editor = {Hal Daum{\'e} III and Aarti Singh}
}
@booklet {,
	title = {From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday},
	year = {2019},
	author = {Bartocci, Ezio and Cleaveland, Rance and Grosu, Radu and Sokolsky, Oleg}
}
@article {,
	title = {Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans},
	journal = {Theoretical Computer Science},
	volume = {765},
	year = {2019},
	pages = {158{\textendash}169},
	author = {Islam, Md Ariful and Cleaveland, Rance and Fenton, Flavio H and Grosu, Radu and Jones, Paul L and Smolka, Scott A}
}
@conference {,
	title = {Declarative vs Rule-based Control for Flocking Dynamics},
	booktitle = {Proceedings of the 33rd Annual ACM Symposium on Applied Computing},
	year = {2018},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	isbn = {978-1-4503-5191-1},
	doi = {10.1145/3167132.3167222},
	url = {http://doi.acm.org/10.1145/3167132.3167222},
	author = {Mehmood, Usama and Paoletti, Nicola and Phan, Dung and Grosu, Radu and Lin, Shan and Stoller, Scott D. and Tiwari, Ashish and Yang, Junxing and Smolka, Scott A.}
}
@conference {,
	title = {OpenUAV: A UAV Testbed for the CPS and Robotics Community},
	booktitle = {Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems},
	year = {2018},
	publisher = {IEEE Press},
	organization = {IEEE Press},
	address = {Piscataway, NJ, USA},
	isbn = {978-1-5386-5301-2},
	doi = {10.1109/ICCPS.2018.00021},
	url = {https://doi.org/10.1109/ICCPS.2018.00021},
	author = {Schmittle, Matt and Lukina, Anna and Vacek, Lukas and Das, Jnaneshwar and Buskirk, Christopher P. and Rees, Stephen and Sztipanovits, Janos and Grosu, Radu and Kumar, Vijay}
}
@conference {,
	title = {Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.},
	booktitle = {CMSB},
	year = {2016},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {978-3-319-45176-3},
	url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html$\#$IslamBKCCFGJS16},
	author = {Islam, Md. Ariful and Byrne, Greg and Kong, Soonho and Clarke, Edmund M. and Cleaveland, Rance and Fenton, Flavio H. and Grosu, Radu and Jones, Paul L. and Smolka, Scott A.},
	editor = {Bartocci, Ezio and Li{\`o}, Pietro and Paoletti, Nicola}
}
@conference {,
	title = {Cybercardia project: Modeling, verification and validation of implantable cardiac devices},
	booktitle = {2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)},
	year = {2016},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Islam, Md Ariful and Lim, Hyunkyung and Paoletti, Nicola and Abbas, Houssam and Jiang, Zhihao and Cyranka, Jacek and Cleaveland, Rance and Gao, Sicun and Clarke, Edmund and Grosu, Radu and others}
}
@conference {21,
	title = {SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems},
	booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
	year = {2015},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	keywords = {networked dynamical systems, parameter synthesis, spatial temporal logic, statistical model checking},
	isbn = {978-1-4503-3433-4},
	doi = {10.1145/2728606.2728633},
	url = {http://doi.acm.org/10.1145/2728606.2728633},
	author = {Haghighi, Iman and Jones, Austin and Kong, Zhaodan and Bartocci, Ezio and Grosu, Radu and Belta, Calin}
}
