@conference {,
	title = {Collision-Free 3D Flocking Using the Distributed Simplex Architecture},
	booktitle = {Proceedings of ISoLA Extra in Rhodes},
	year = {2021},
	month = {10/2021},
	author = {U. Mehmood and R. Grosu and S. A. Smolka and S. D. Stoller}
}
@conference {,
	title = {Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding},
	booktitle = {Proceedings of ACC 2021, The 2021 American Control Conference},
	year = {2021},
	month = {06/2021},
	author = {S. Roy and U. Mehmood and R. Grosu and S. A. Smolka and S. D. Stoller and A. Tiwari}
}
@conference {,
	title = {Model-Checking Support for File System Development},
	booktitle = {Proceeding of HotStorage {\textquoteright}21, the 13th ACM Workshop on Hot Topics in Storage and File Systems},
	year = {2021},
	month = {07/2021},
	author = {W. Su and Y. Liu and G. Ganesan and G. Holzmann and G. Kuenning and S. A. Smolka and E. Zadok}
}
@conference {,
	title = {MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas},
	booktitle = {Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control},
	year = {2021},
	month = {12/2021},
	author = {H. Chen and N. Paoletti and S. A. Smolka and S. Lin}
}
@article {,
	title = {Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches},
	journal = {International Journal on Software Tools for Technology Transfer},
	year = {2021},
	month = {05/2021},
	author = {L. Bortolussi and F. Cairoli and N. Paoletti and S. A. Smolka and S. D. Stoller}
}
@conference {,
	title = {Safe CPS from Unsafe Controllers},
	booktitle = {Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems},
	year = {2021},
	month = {06/2021},
	author = {U. Mehmood and S. Bak and S. A. Smolka and S. D. Stoller}
}
@conference {,
	title = {Verification of Neural ODEs with Stochastic Guarantees},
	booktitle = {Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence},
	year = {2021},
	month = {02/2021},
	author = {S. Gruenbacher and J. Cyranka and M. Lechner and S. A. Smolka and R. Grosu}
}
@article {,
	title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems},
	journal = {IEEE Access},
	year = {2020},
	author = {F. Shmarov and S. Soudjani and N. Paoletti and E. Bartocci and S. Lin and S. A. Smolka and P. Zuliani}
}
@conference {,
	title = {Bayesian Neural Predictive Monitoring},
	booktitle = {Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI},
	year = {2020},
	month = {09/2020},
	author = {L. Bortolussi and F. Cairoli and N. Paoletti and S. A. Smolka and S. D. Stoller}
}
@article {,
	title = {Data-Driven Robust Control for a Closed-Loop Artificial Pancreas},
	journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
	volume = {17},
	year = {2020},
	month = {11/2020},
	chapter = {1981},
	author = {N. Paoletti and K. S. Liu and H. Chen and S. A. Smolka and S. Lin}
}
@conference {,
	title = {Next-Generation Lagrangian Reachtubes},
	booktitle = {Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control},
	year = {2020},
	month = {12/2020},
	author = {S. Gruenbacher and J. Cyranka and M. Lechner and Md. A. Islam and S. A. Smolka and R. Grosu}
}
@article {,
	title = {Swarm Model Checking on the GPU},
	journal = {International Journal on Software Tools for Technology Transfer},
	year = {2020},
	author = {R. DeFrancisco and S. Cho and M. Ferdman and S. A. Smolka}
}
@article {,
	title = {Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles},
	journal = {Formal Methods in System Design},
	year = {2017},
	month = {01/2017},
	author = {D. Phan and J. Yang and R. Grosu and S. A. Smolka and S. D. Stoller}
}
@article {,
	title = {Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability},
	journal = {Nonlinear Analysis: Hybrid Systems},
	year = {2016},
	month = {05/2016},
	author = {A. Murthy and Md. A. Islam, and S. A. Smolka and R. Grosu}
}
@article {,
	title = {Abstract Model Repair},
	journal = {Logical Methods in Computer Science},
	volume = {3:11},
	year = {2015},
	author = {G. Chatzieleftheriou and B. Bonakdarpour and P. Katsaros and S. A. Smolka}
}
@article {,
	title = {Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation},
	journal = {Theoretical Computer Science},
	volume = {599C},
	year = {2015},
	month = {09/2015},
	chapter = {34},
	author = {Md. A. Islam and A. Murthy and E. Bartocci and E. M. Cherry and F. H. Fenton and J. Glimm and S. A. Smolka and R. Grosu}
}
