| 2023 | ICRA | Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. | Wenliang Liu, Mirai Nishioka, Calin Belta |
| 2022 | IROS | Classification of Time-Series Data Using Boosted Decision Trees. | Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta |
| 2021 | IROS | The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. | Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom |
| 2019 | ISRR | ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. | Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta |
| 2019 | RV | Reactive Control Meets Runtime Verification: A Case Study of Navigation. | Dogan Ulus, Calin Belta |
| 2018 | IROS | Distributed Sensing Subject to Temporal Logic Constraints. | Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta |
| 2017 | IROS | Reinforcement learning with temporal logic rewards. | Xiao Li, Cristian Ioan Vasile, Calin Belta |
| 2017 | ICRA | Minimum-violation scLTL motion planning for mobility-on-demand. | Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus |
| 2017 | RV | Signal Clustering Using Temporal Logics. | Giuseppe Bombara, Calin Belta |
| 2016 | ICRA | Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. | Derya Aksaray, Cristian Ioan Vasile, Calin Belta |
| 2016 | WAFR | Language-Guided Sampling-based Planning using Temporal Relaxation. | Francisco Penedo, Cristian Ioan Vasile, Calin Belta |
| 2014 | ICRA | Reactive sampling-based temporal logic path planning. | Cristian Ioan Vasile, Calin Belta |
| 2014 | TIME | Formal Methods for Dynamical Systems. | Calin Belta |
| 2013 | ICRA | Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. | Igor Cizelj, Calin Belta |
| 2013 | ICRA | A receding horizon algorithm for informative path planning with temporal logic constraints. | Austin Jones, Mac Schwager, Calin Belta |
| 2013 | IROS | Temporal logic motion planning in unknown environments. | Ana I. Medina Ayala, Sean B. Andersson, Calin Belta |
| 2013 | IROS | Negotiating the probabilistic satisfaction of temporal logic motion specifications. | Igor Cizelj, Calin Belta |
| 2013 | IROS | Sampling-based temporal logic path planning. | Cristian Ioan Vasile, Calin Belta |
| 2013 | ICRA | Temporal logic control for an autonomous quadrotor in a nondeterministic environment. | Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta |
| 2013 | ICRA | Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. | Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus |
| 2012 | DATE | Experimentally driven verification of synthetic biological circuits. | Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore |
| 2012 | ICRA | Probabilistic control from time-bounded temporal logic specifications in dynamic environments. | Ana I. Medina Ayala, Sean B. Andersson, Calin Belta |
| 2012 | ICRA | LTL robot motion control based on automata learning of environmental dynamics. | Yushan Chen, Jana Tumova, Calin Belta |
| 2012 | ICRA | Temporal logic motion control using actor-critic methods. | Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta |
| 2012 | IROS | Probabilistically safe control of noisy Dubins vehicles. | Igor Cizelj, Calin Belta |
| 2012 | IROS | Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. | Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus |
| 2012 | ICRA | Robust multi-robot optimal path planning with temporal logic constraints. | Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta |
| 2011 | IROS | Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. | Ana I. Medina Ayala, Sean B. Andersson, Calin Belta |
| 2011 | IROS | Optimal multi-robot path planning with Temporal Logic constraints. | Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus |
| 2010 | ICRA | On the need for communication in distributed implementations of LTL motion specifications. | Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta |
| 2010 | ICRA | Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. | Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta |
| 2010 | IROS | A hierarchical approach to automatic deployment of robotic teams with communication constraints. | Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta |
| 2010 | IROS | Optimal path planning under temporal logic constraints. | Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus |
| 2009 | ICRA | Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). | Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson |
| 2008 | ICRA | Distributed implementations of global temporal logic motion specifications. | Marius Kloetzer, Calin Belta |
| 2007 | ACC | On the Computation of Minimal Cut Sets in Genome Scale Metabolic Networks. | Marcin Imielinski, Calin Belta |
| 2007 | ICRA | Managing non-determinism in symbolic robot motion planning and control. | Marius Kloetzer, Calin Belta |
| 2007 | TACAS | Model Checking Liveness Properties of Genetic Regulatory Networks. | Grgory Batt, Calin Belta, Ron Weiss |
| 2006 | ICRA | Hierarchical Abstractions for Robotic Swarms. | Marius Kloetzer, Calin Belta |
| 2006 | ICRA | Controlling three Dimensional Swarms of Robots. | Nathan Michael, Calin Belta, Vijay Kumar |
| 2006 | IROS | A Framework for Automatic Deployment of Robots in 2D and 3D Environments. | Marius Kloetzer, Calin Belta |
| 2004 | ICRA | On Controlling Aircraft and Underwater Vehicles. | Calin Belta |
| 2004 | IROS | Hybrid control for visibility-based pursuit-evasion games. | Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas |
| 2003 | ICRA | Abstraction and control for groups of fully-actuated planar robots. | Calin Belta, Vijay Kumar |
| 2003 | ISRR | Abstraction and Control for Swarms of Robots. | Calin Belta, Guilherme A. S. Pereira, Vijay Kumar |
| 2002 | HiPC | Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. | Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb |
| 2002 | ICRA | Trajectory Design for Formations of Robots by Kinetic Energy Shaping. | Calin Belta, Vijay Kumar |
| 2001 | ICRA | Motion Generation for Formations of Robots a Geometric Approach. | Calin Belta, Vijay Kumar |