Calin Belta - RankMe

373 papers A* 23A 17B 2C 36Misc 1Journal 178Unranked 113

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	RRT CoRR Ahmad Ahmad, Shuo Liu, Roberto Tron, Calin Belta
2025	J	`jnl`	A Two-Level Control Algorithm for Autonomous Driving in Urban Environments. IEEE Trans. Intell. Transp. Syst. Erfan Aasi, Mingyu Cai, Cristian-Ioan Vasile, Calin Belta
2025	J	`jnl`	Accelerated Learning with Linear Temporal Logic using Differentiable Simulation. CoRR Alper Kamil Bozkurt, Calin Belta, Ming C. Lin
2025	—	`conf`	Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. L4DC Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2025	—	`conf`	BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis. HSCC Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta
2025	—	`conf`	Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets. CDC Yi-Hsuan Chen, Shuo Liu, Wei Xiao, Calin Belta, Michael Otte
2025	J	`jnl`	Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets. CoRR Yi-Hsuan Chen, Shuo Liu, Wei Xiao, Calin Belta, Michael Otte
2025	J	`jnl`	Generalized Mean Robustness for Signal Temporal Logic. IEEE Trans. Autom. Control. Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
2025	—	`conf`	Interpretable Imitation Learning via Generative Adversarial STL Inference and Control. NeuS Wenliang Liu, Danyang Li, Erfan Aasi, Daniela Rus, Roberto Tron, Calin Belta
2025	C	`conf`	LQR-CBF-RRT*: Safe and Optimal Motion Planning. ACC Guang Yang, Mingyu Cai, Ahmad Ahmad, Amanda Prorok, Roberto Tron, Calin Belta
2025	—	`conf`	Learning Biomolecular Models using Signal Temporal Logic. L4DC Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak
2025	—	`conf`	OMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning. ECC Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta
2025	J	`jnl`	Optimal On-the-Fly Route Planning With Rich Transportation Requests. IEEE Trans. Robotics Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2025	J	`jnl`	Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control. IEEE Trans. Autom. Control. Wenliang Liu, Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2025	J	`jnl`	SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations. CoRR Peter Crowley, Zachary Serlin, Tyler M. Paine, Makai Mann, Michael R. Benjamin, Calin Belta
2025	—	`conf`	STL-based Optimization of Biomolecular Neural Networks for Regression and Control. CDC Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss, Calin Belta
2025	J	`jnl`	STL-based Optimization of Biomolecular Neural Networks for Regression and Control. CoRR Eric Palanques-Tost, Hanna Krasowski, Murat Arcak, Ron Weiss, Calin Belta
2025	—	`conf`	Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression. CDC Clinton Enwerem, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta
2025	J	`jnl`	Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression. CoRR Clinton Enwerem, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta
2024	J	`jnl`	Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. CoRR Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2024	—	`conf`	Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. CDC Carter Berlind, Wenliang Liu, Alyssa Pierson, Calin Belta
2024	J	`jnl`	Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. CoRR Carter Berlind, Wenliang Liu, Alyssa Pierson, Calin Belta
2024	J	`jnl`	Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. Autom. Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2024	J	`jnl`	Control of Microrobots Using Model Predictive Control and Gaussian Processes for Disturbance Estimation. CoRR Mehdi Kermanshah, Logan E. Beaver, Max Sokolich, Sambeeta Das, Ron Weiss, Roberto Tron, Calin Belta
2024	J	`jnl`	Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach. ACM Trans. Cyber Phys. Syst. Mohammad Khayatian, Mohammadreza Mehrabian, I-Ching Tseng, Chung-Wei Lin, Calin Belta, Aviral Shrivastava
2024	—	`conf`	Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons. CDC Shuo Liu, Wei Xiao, Calin Belta
2024	J	`jnl`	Interpretable Generative Adversarial Imitation Learning. CoRR Wenliang Liu, Danyang Li, Erfan Aasi, Roberto Tron, Calin Belta
2024	C	`conf`	LP-Planning: Linear Control-Based Planning Using Probability Mass Function Measurements. ACC Mehdi Kermanshah, Calin Belta, Roberto Tron
2024	J	`jnl`	Learning a Tracking Controller for Rolling $\mu$bots. IEEE Robotics Autom. Lett. Logan E. Beaver, Max Sokolich, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta
2024	J	`jnl`	Toward model-free safety-critical control with humans in the loop. Annu. Rev. Control. Wei Xiao, Anni Li, Christos G. Cassandras, Calin Belta
2024	C	`conf`	Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. ACC Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
2023	—	`conf`	CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023	J	`jnl`	Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming. CoRR Mehdi Kermanshah, Calin Belta, Roberto Tron
2023	J	`jnl`	Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning. CoRR Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron
2023	J	`jnl`	Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics. IEEE Trans. Autom. Control. Wei Xiao, Calin Belta, Christos G. Cassandras
2023	J	`jnl`	Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. Autom. Noushin Mehdipour, Matthias Althoff, Radboud J. Duintjer Tebbens, Calin Belta
2023	—	`conf`	Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. CDC Wenliang Liu, Wei Xiao, Calin Belta
2023	J	`jnl`	Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. CoRR Wenliang Liu, Wei Xiao, Calin Belta
2023	C	`conf`	Modular Adaptive Safety-Critical Control. ACC Max H. Cohen, Calin Belta
2023	J	`jnl`	Modular Adaptive Safety-Critical Control. CoRR Max H. Cohen, Calin Belta
2023	J	`jnl`	Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. IEEE Robotics Autom. Lett. Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
2023	C	`conf`	Robust Filtering based on Complex Cell Networks from the Visual Cortex. ACC Mehdi Kermanshah, Nguyen Nguyen, Calin Belta, Roberto Tron
2023	C	`conf`	Robust Multi-Agent Coordination from CaTL+ Specifications. ACC Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023	—	`conf`	Robustness Measures and Monitors for Time Window Temporal Logic. CDC Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2023	J	`jnl`	Robustness Measures and Monitors for Time Window Temporal Logic. CoRR Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2023	A*	`conf`	Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. ICRA Wenliang Liu, Mirai Nishioka, Calin Belta
2023	J	`jnl`	Safe exploration in model-based reinforcement learning using control barrier functions. Autom. Max H. Cohen, Calin Belta
2023	—	`conf`	Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. L4DC Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
2023	J	`jnl`	Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
2022	J	`jnl`	Adaptive Control Barrier Functions. IEEE Trans. Autom. Control. Wei Xiao, Calin Belta, Christos G. Cassandras
2022	—	`conf`	Adaptive Sampling-based Motion Planning with Control Barrier Functions. CDC Ahmad Ahmad, Calin Belta, Roberto Tron
2022	J	`jnl`	Adaptive Sampling-based Motion Planning with Control Barrier Functions. CoRR Ahmad Ahmad, Calin Belta, Roberto Tron
2022	J	`jnl`	CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022	A	`conf`	Classification of Time-Series Data Using Boosted Decision Trees. IROS Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
2022	J	`jnl`	Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. CoRR Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2022	—	`conf`	Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CDC Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2022	J	`jnl`	Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CoRR Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2022	—	`conf`	Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. L4DC Ningyuan Zhang, Wenliang Liu, Calin Belta
2022	J	`jnl`	Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. CoRR Ningyuan Zhang, Wenliang Liu, Calin Belta
2022	C	`conf`	High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. ACC Max H. Cohen, Calin Belta
2022	J	`jnl`	High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. CoRR Max H. Cohen, Calin Belta
2022	J	`jnl`	High-Order Control Barrier Functions. IEEE Trans. Autom. Control. Wei Xiao, Calin Belta
2022	—	`conf`	Learning Spatio-Temporal Specifications for Dynamical Systems. L4DC Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta
2022	J	`jnl`	Learning for Control of Rolling ubots. CoRR Logan E. Beaver, Max Sokolich, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta
2022	J	`jnl`	Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. CoRR Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
2022	J	`jnl`	Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. IEEE Control. Syst. Lett. Wenliang Liu, Noushin Mehdipour, Calin Belta
2022	—	`conf`	Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. CDC Max H. Cohen, Calin Belta, Roberto Tron
2022	J	`jnl`	Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. CoRR Max H. Cohen, Calin Belta, Roberto Tron
2022	J	`jnl`	Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022	J	`jnl`	Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
2021	C	`conf`	A Control Architecture for Provably-Correct Autonomous Driving. ACC Erfan Aasi, Cristian Ioan Vasile, Calin Belta
2021	J	`jnl`	A Control Architecture for Provably-Correct Autonomous Driving. CoRR Erfan Aasi, Cristian Ioan Vasile, Calin Belta
2021	J	`jnl`	Classification of Time-Series Data Using Boosted Decision Trees. CoRR Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
2021	—	`conf`	Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. CDC Wei Xiao, Calin Belta, Christos G. Cassandras
2021	J	`jnl`	Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. CoRR Wei Xiao, Calin Belta, Christos G. Cassandras
2021	J	`jnl`	Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle. CoRR Erkan Kayacan, Wouter Saeys, Herman Ramon, Calin Belta, Joshua M. Peschel
2021	J	`jnl`	Inferring Temporal Logic Properties from Data using Boosted Decision Trees. CoRR Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
2021	J	`jnl`	Learning Spatio-Temporal Specifications for Dynamical Systems. CoRR Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta
2021	J	`jnl`	Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications. CoRR Max H. Cohen, Calin Belta
2021	J	`jnl`	Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks. CoRR Wenliang Liu, Calin Belta
2021	—	`conf`	Model-based reinforcement learning for approximate optimal control with temporal logic specifications. HSCC Max H. Cohen, Calin Belta
2021	—	`conf`	Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2021	J	`jnl`	Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CoRR Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2021	J	`jnl`	Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees. ACM Trans. Cyber Phys. Syst. Giuseppe Bombara, Calin Belta
2021	C	`conf`	Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. ACC Wenliang Liu, Noushin Mehdipour, Calin Belta
2021	J	`jnl`	Rule-based Evaluation and Optimal Control for Autonomous Driving. CoRR Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Y. Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta
2021	J	`jnl`	Rule-based Optimal Control for Autonomous Driving. CoRR Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta
2021	—	`conf`	Rule-based optimal control for autonomous driving. ICCPS Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta
2021	J	`jnl`	Safe Exploration in Model-based Reinforcement Learning using Control Barrier Functions. CoRR Max H. Cohen, Calin Belta
2021	J	`jnl`	Safety-Critical Optimal Control for Autonomous Systems. J. Syst. Sci. Complex. Wei Xiao, Christos G. Cassandras, Calin Belta
2021	J	`jnl`	Specifying User Preferences Using Weighted Signal Temporal Logic. IEEE Control. Syst. Lett. Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2021	C	`conf`	Specifying User Preferences using Weighted Signal Temporal Logic. ACC Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2021	A	`conf`	The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. IROS Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom
2021	J	`jnl`	The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. CoRR Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom
2021	J	`jnl`	Time-Incremental Learning from Data Using Temporal Logics. CoRR Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
2020	J	`jnl`	Adaptive Control Barrier Functions for Safety-Critical Systems. CoRR Wei Xiao, Calin Belta, Christos G. Cassandras
2020	—	`conf`	Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. CDC Max H. Cohen, Calin Belta
2020	J	`jnl`	Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. CoRR Max H. Cohen, Calin Belta
2020	C	`conf`	Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning. ACC Chuangchuang Sun, Xiao Li, Calin Belta
2020	J	`jnl`	Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts. CoRR Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2020	—	`conf`	Compositional synthesis via a convex parameterization of assume-guarantee contracts. HSCC Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2020	C	`conf`	Continuous-time Signal Temporal Logic Planning with Control Barrier Functions. ACC Guang Yang, Calin Belta, Roberto Tron
2020	—	`conf`	Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. ITSC Wei Xiao, Christos G. Cassandras, Calin Belta
2020	J	`jnl`	Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. CoRR Wei Xiao, Christos G. Cassandras, Calin Belta
2020	J	`jnl`	Distributed and consistent multi-image feature matching via QuickMatch. Int. J. Robotics Res. Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
2020	J	`jnl`	Non-uniform Sampled Motion Planning for Continuous-time STL. CoRR Guang Yang, Calin Belta, Roberto Tron
2020	J	`jnl`	Reactive sampling-based path planning with temporal logic specifications. Int. J. Robotics Res. Cristian Ioan Vasile, Xiao Li, Calin Belta
2020	J	`jnl`	Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. CoRR Wenliang Liu, Noushin Mehdipour, Calin Belta
2020	J	`jnl`	Specifying User Preferences using Weighted Signal Temporal Logic. CoRR Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2020	J	`jnl`	Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions. CoRR Wei Xiao, Calin Belta, Christos G. Cassandras
2019	J	`jnl`	A formal methods approach to interpretable reinforcement learning for robotic planning. Sci. Robotics Xiao Li, Zachary Serlin, Guang Yang, Calin Belta
2019	C	`conf`	Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. ACC Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2019	J	`jnl`	Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. CoRR Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2019	—	`conf`	Average-based Robustness for Continuous-Time Signal Temporal Logic. CDC Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2019	J	`jnl`	Average-based Robustness for Continuous-Time Signal Temporal Logic. CoRR Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
2019	—	`conf`	Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CDC Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2019	J	`jnl`	Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CoRR Kasra Ghasemi, Sadra Sadraddini, Calin Belta
2019	J	`jnl`	Continuous-time Signal Temporal Logic Planning with Control Barrier Function. CoRR Guang Yang, Roberto Tron, Calin Belta
2019	—	`conf`	Control Barrier Functions for Systems with High Relative Degree. CDC Wei Xiao, Calin Belta
2019	J	`jnl`	Control Barrier Functions for Systems with High Relative Degree. CoRR Wei Xiao, Calin Belta
2019	—	`conf`	Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2019	J	`jnl`	Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CoRR Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2019	J	`jnl`	Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
2019	—	`conf`	Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach. ITSC Wei Xiao, Christos G. Cassandras, Calin Belta
2019	—	`conf`	Decentralized merging control in traffic networks: a control barrier function approach. ICCPS Wei Xiao, Calin Belta, Christos G. Cassandras
2019	J	`jnl`	Distributed and Consistent Multi-Image Feature Matching via QuickMatch. CoRR Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
2019	J	`jnl`	Formal Methods for Control Synthesis: An Optimization Perspective. Annu. Rev. Control. Robotics Auton. Syst. Calin Belta, Sadra Sadraddini
2019	J	`jnl`	Formal Synthesis of Control Strategies for Positive Monotone Systems. IEEE Trans. Autom. Control. Sadra Sadraddini, Calin Belta
2019	B	`conf`	Reactive Control Meets Runtime Verification: A Case Study of Navigation. RV Dogan Ulus, Calin Belta
2019	J	`jnl`	Reactive Control Meets Runtime Verification: A Case Study of Navigation. CoRR Dogan Ulus, Calin Belta
2019	C	`conf`	Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks. ACC Junmin Wang, Calin Belta
2019	J	`jnl`	Sampling-based Motion Planning via Control Barrier Functions. CoRR Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron
2019	C	`conf`	ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
2019	C	`conf`	Self-triggered Control for Safety Critical Systems Using Control Barrier Functions. ACC Guang Yang, Calin Belta, Roberto Tron
2019	J	`jnl`	Self-triggered Control for Safety Critical Systems using Control Barrier Functions. CoRR Guang Yang, Calin Belta, Roberto Tron
2019	J	`jnl`	Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions. CoRR Xiao Li, Calin Belta
2018	J	`jnl`	A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control. Netw. Syst. Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
2018	C	`conf`	A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks. ACC Xiao Li, Yao Ma, Calin Belta
2018	J	`jnl`	Automata Guided Reinforcement Learning With Demonstrations. CoRR Xiao Li, Yao Ma, Calin Belta
2018	—	`conf`	Consistent Multi-robot Object Matching via QuickMatch. ISER Zachary Serlin, Brandon Sookraj, Calin Belta, Roberto Tron
2018	—	`conf`	Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications. CDC Francisco Penedo, Harold S. Park, Calin Belta
2018	C	`conf`	Distributed Robust Set-Invariance for Interconnected Linear Systems. ACC Sadra Sadraddini, Calin Belta
2018	A	`conf`	Distributed Sensing Subject to Temporal Logic Constraints. IROS Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta
2018	—	`conf`	Formal Guarantees in Data-Driven Model Identification and Control Synthesis. HSCC Sadra Sadraddini, Calin Belta
2018	—	`conf`	Metrics for Signal Temporal Logic Formulae. CDC Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
2018	J	`jnl`	Metrics for Signal Temporal Logic Formulae. CoRR Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
2018	—	`conf`	Online Learning of Temporal Logic Formulae for Signal Classification. ECC Giuseppe Bombara, Calin Belta
2018	—	`conf`	Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells. CDC Noushin Mehdipour, Demarcus Briers, Iman Haghighi, Chad M. Glen, Melissa L. Kemp, Calin Belta
2018	J	`jnl`	Translational and Rotational Invariance in Networked Dynamical Systems. IEEE Trans. Control. Netw. Syst. Cristian Ioan Vasile, Mac Schwager, Calin Belta
2017	J	`jnl`	A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks. CoRR Xiao Li, Yao Ma, Calin Belta
2017	J	`jnl`	An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints. IEEE Trans. Autom. Control. Kun Deng, Yushan Chen, Calin Belta
2017	J	`jnl`	Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition. CoRR Xiao Li, Yao Ma, Calin Belta
2017	J	`jnl`	Distributed Robust Set-Invariance for Interconnected Linear Systems. CoRR Sadra Sadraddini, Calin Belta
2017	C	`conf`	Distributed control policies for localization of large disturbances in urban traffic networks. ACC Sivaranjani S., Sadra Sadraddini, Vijay Gupta, Calin Belta
2017	—	`conf`	Dynamic contracts for distributed temporal logic control of traffic networks. CDC Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia
2017	J	`jnl`	Formal Methods for Adaptive Control of Dynamical Systems. CoRR Sadra Sadraddini, Calin Belta
2017	J	`jnl`	Formal Synthesis of Control Strategies for Positive Monotone Systems. CoRR Sadra Sadraddini, Calin Belta
2017	J	`jnl`	Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger
2017	—	`conf`	Formal methods for adaptive control of dynamical systems. CDC Sadra Sadraddini, Calin Belta
2017	—	`conf`	Formal synthesis of distributed optimal traffic control policies. ICCPS Sadra Sadraddini, János Rudan, Calin Belta
2017	—	`conf`	Grid-based temporal logic inference. CDC Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
2017	C	`conf`	Informative path planning under temporal logic constraints with performance guarantees. ACC Kevin J. Leahy, Derya Aksaray, Calin Belta
2017	A*	`conf`	Minimum-violation scLTL motion planning for mobility-on-demand. ICRA Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2017	J	`jnl`	Provably Safe Cruise Control of Vehicular Platoons. CoRR Sadra Sadraddini, Sivaranjani S., Vijay Gupta, Calin Belta
2017	J	`jnl`	Provably Safe Cruise Control of Vehicular Platoons. IEEE Control. Syst. Lett. Sadra Sadraddini, Sivaranjani S., Vijay Gupta, Calin Belta
2017	A	`conf`	Reinforcement learning with temporal logic rewards. IROS Xiao Li, Cristian Ioan Vasile, Calin Belta
2017	—	`conf`	Rich Time Series Classification Using Temporal Logic. Robotics: Science and Systems Chanyeol Yoo, Calin Belta
2017	C	`conf`	Semi-supervised pattern synthesis in spatially distributed dynamical systems. ACC Iman Haghighi, Kevin Leahy, Rachael Ivison, Calin Belta
2017	B	`conf`	Signal Clustering Using Temporal Logics. RV Giuseppe Bombara, Calin Belta
2017	J	`jnl`	Temporal Logics for Learning and Detection of Anomalous Behavior. IEEE Trans. Autom. Control. Zhaodan Kong, Austin Jones, Calin Belta
2017	J	`jnl`	Time window temporal logic. Theor. Comput. Sci. Cristian Ioan Vasile, Derya Aksaray, Calin Belta
2016	—	`conf`	A Decision Tree Approach to Data Classification using Signal Temporal Logic. HSCC Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta
2016	J	`jnl`	A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks. CoRR Xiao Li, Calin Belta
2016	J	`jnl`	A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks. CoRR Sadra Sadraddini, Calin Belta
2016	C	`conf`	A provably correct MPC approach to safety control of urban traffic networks. ACC Sadra Sadraddini, Calin Belta
2016	—	`conf`	Control in belief space with Temporal Logic specifications. CDC Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta
2016	A*	`conf`	Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. ICRA Derya Aksaray, Cristian Ioan Vasile, Calin Belta
2016	—	`conf`	Feasibility envelopes for metric temporal logic specifications. CDC Sadra Sadraddini, Calin Belta
2016	C	`conf`	Finite state abstraction and formal methods for traffic flow networks. ACC Samuel Coogan, Murat Arcak, Calin Belta
2016	—	`conf`	Formal synthesis of control strategies for dynamical systems. CDC Calin Belta
2016	C	`conf`	Integration of deterministic inference with formal synthesis for control under uncertainty. ACC Kevin J. Leahy, Prasanna Kannappan, Adam Jardine, Herbert G. Tanner, Jeffrey Heinz, Calin Belta
2016	C	`conf`	Language-Guided Sampling-based Planning using Temporal Relaxation. WAFR Francisco Penedo, Cristian Ioan Vasile, Calin Belta
2016	—	`conf`	Least-Violating Planning in Road Networks from Temporal Logic Specifications. ICCPS Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2016	—	`conf`	Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. ISER Eric Cristofalo, Kevin Leahy, Cristian Ioan Vasile, Eduardo Montijano, Mac Schwager, Calin Belta
2016	C	`conf`	Model predictive control of urban traffic networks with temporal logic constraints. ACC Sadra Sadraddini, Calin Belta
2016	—	`conf`	Pattern synthesis in a 3D agent-based model of stem cell differentiation. CDC Demarcus Briers, Iman Haghighi, Douglas E. White, Melissa L. Kemp, Calin Belta
2016	J	`jnl`	Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. Auton. Robots Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
2016	J	`jnl`	Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications. CoRR Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
2016	—	`conf`	Q-Learning for robust satisfaction of signal temporal logic specifications. CDC Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
2016	—	`conf`	Receding horizon robot control in partially unknown environments with temporal logic constraints. ECC Vladislav Nenchev, Calin Belta
2016	J	`jnl`	Reinforcement Learning With Temporal Logic Rewards. CoRR Xiao Li, Cristian Ioan Vasile, Calin Belta
2016	J	`jnl`	Robotic Swarm Control from Spatio-Temporal Specifications. CoRR Iman Haghighi, Sadra Sadraddini, Calin Belta
2016	—	`conf`	Robotic swarm control from spatio-temporal specifications. CDC Iman Haghighi, Sadra Sadraddini, Calin Belta
2016	J	`jnl`	Safety Control of Monotone Systems with Bounded Uncertainties. CoRR Sadra Sadraddini, Calin Belta
2016	—	`conf`	Safety control of monotone systems with bounded uncertainties. CDC Sadra Sadraddini, Calin Belta
2016	J	`jnl`	Time Window Temporal Logic. CoRR Cristian Ioan Vasile, Derya Aksaray, Calin Belta
2016	J	`jnl`	Traffic Network Control From Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
2015	J	`jnl`	Control with Probabilistic Signal Temporal Logic. CoRR Chanyeol Yoo, Calin Belta
2015	C	`conf`	Controlling a network of signalized intersections from temporal logical specifications. ACC Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
2015	—	`conf`	Correct-by-construction control synthesis for multi-robot mixing. CDC Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt
2015	—	`conf`	Distributed information gathering policies under temporal logic constraints. CDC Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta
2015	—	`conf`	Enforcing temporal logic specifications via reinforcement learning. HSCC Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
2015	J	`jnl`	Formal Verification and Synthesis for Discrete-Time Stochastic Systems. IEEE Trans. Autom. Control. Morteza Lahijanian, Sean B. Andersson, Calin Belta
2015	C	`conf`	Information-guided persistent monitoring under temporal logic constraints. ACC Austin Jones, Mac Schwager, Calin Belta
2015	J	`jnl`	Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. IEEE Trans. Autom. Control. María Svorenová, Ivana Cerna, Calin Belta
2015	—	`conf`	Optimal motion planning with temporal logic and switching constraints. ECC Vladislav Nenchev, Calin Belta, Jörg Raisch
2015	J	`jnl`	Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. CoRR Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
2015	J	`jnl`	Robust Temporal Logic Model Predictive Control. CoRR Sadra Sadraddini, Calin Belta
2015	—	`conf`	Robust temporal logic model predictive control. Allerton Sadra Sadraddini, Calin Belta
2015	—	`conf`	SE(N) invariance in networked systems. ECC Cristian Ioan Vasile, Mac Schwager, Calin Belta
2015	—	`conf`	SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
2015	—	`conf`	Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ADHS Zhe Xu, Calin Belta, Agung Julius
2015	—	`conf`	Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2015	J	`jnl`	Temporal logic model predictive control. Autom. Ebru Aydin Gol, Mircea Lazar, Calin Belta
2015	J	`jnl`	Temporal logic motion control using actor-critic methods. Int. J. Robotics Res. Jing Wang, Xu Chu Ding, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta
2015	—	`conf`	Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	J	`jnl`	A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR Ebru Aydin Gol, Ezio Bartocci, Calin Belta
2014	—	`conf`	A formal methods approach to pattern synthesis in reaction diffusion systems. CDC Ebru Aydin Gol, Ezio Bartocci, Calin Belta
2014	—	`conf`	An Automata-Theoretic Approach to the Vehicle Routing Problem. Robotics: Science and Systems Cristian Ioan Vasile, Calin Belta
2014	C	`conf`	An additive cost approach to optimal Temporal Logic control. ACC Ebru Aydin Gol, Calin Belta
2014	—	`conf`	Anomaly detection in cyber-physical systems: A formal methods approach. CDC Austin Jones, Zhaodan Kong, Calin Belta
2014	J	`jnl`	Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. Int. J. Robotics Res. Igor Cizelj, Calin Belta
2014	J	`jnl`	Finite Bisimulations for Switched Linear Systems. IEEE Trans. Autom. Control. Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta
2014	C	`conf`	Formal Methods for Dynamical Systems. TIME Calin Belta
2014	J	`jnl`	Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications. IEEE Trans. Autom. Control. Ana Medina Ayala, Sean B. Andersson, Calin Belta
2014	J	`jnl`	Incremental controller synthesis in probabilistic environments with temporal logic constraints. Int. J. Robotics Res. Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
2014	J	`jnl`	LTL receding horizon control for finite deterministic systems. Autom. Xu Chu Ding, Mircea Lazar, Calin Belta
2014	J	`jnl`	Language-Guided Controller Synthesis for Linear Systems. IEEE Trans. Autom. Control. Ebru Aydin Gol, Mircea Lazar, Calin Belta
2014	J	`jnl`	Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints. IEEE Trans. Autom. Control. Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus
2014	—	`conf`	Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. ISER Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
2014	A*	`conf`	Reactive sampling-based temporal logic path planning. ICRA Cristian Ioan Vasile, Calin Belta
2014	J	`jnl`	Receding horizon temporal logic control in dynamic environments. Int. J. Robotics Res. Alphan Ulusoy, Calin Belta
2014	J	`jnl`	Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	—	`conf`	Temporal logic inference for classification and prediction from data. HSCC Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta
2014	J	`jnl`	Traffic Network Control from Temporal Logic Specifications. CoRR Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta
2013	A*	`conf`	A receding horizon algorithm for informative path planning with temporal logic constraints. ICRA Austin Jones, Mac Schwager, Calin Belta
2013	A*	`conf`	Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. ICRA Igor Cizelj, Calin Belta
2013	—	`conf`	Data-driven verification of synthetic gene networks. CDC Ebru Aydin Gol, Douglas Densmore, Calin Belta
2013	—	`conf`	Distribution temporal logic: Combining correctness with quality of estimation. CDC Austin Jones, Mac Schwager, Calin Belta
2013	J	`jnl`	Formal analysis of piecewise affine systems through formula-guided refinement. Autom. Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta
2013	A*	`conf`	Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. ICRA Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus
2013	J	`jnl`	Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications. CoRR Igor Cizelj, Calin Belta
2013	A	`conf`	Negotiating the probabilistic satisfaction of temporal logic motion specifications. IROS Igor Cizelj, Calin Belta
2013	J	`jnl`	Optimal Control of MDPs with Temporal Logic Constraints CoRR María Svorenová, Ivana Cerna, Calin Belta
2013	J	`jnl`	Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints CoRR María Svorenová, Ivana Cerná, Calin Belta
2013	—	`conf`	Optimal control of MDPs with temporal logic constraints. CDC María Svorenová, Ivana Cerna, Calin Belta
2013	C	`conf`	Optimal receding horizon control for finite deterministic systems with temporal logic constraints. ACC María Svorenová, Ivana Cerná, Calin Belta
2013	J	`jnl`	Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints. Int. J. Robotics Res. Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus
2013	—	`conf`	Optimizing regulation functions in gene network identification. CDC Guilhem Richard, A. Agung Julius, Calin Belta
2013	—	`ed.`	Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA HSCC Calin Belta, Franjo Ivancic
2013	—	`conf`	Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications. Robotics: Science and Systems Alphan Ulusoy, Michael Marrazzo, Calin Belta
2013	J	`jnl`	Sampling-Based Temporal Logic Path Planning. CoRR Cristian Ioan Vasile, Calin Belta
2013	A	`conf`	Sampling-based temporal logic path planning. IROS Cristian Ioan Vasile, Calin Belta
2013	J	`jnl`	Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints CoRR Austin Jones, Mac Schwager, Calin Belta
2013	J	`jnl`	Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation. CoRR Austin Jones, Mac Schwager, Calin Belta
2013	A*	`conf`	Temporal logic control for an autonomous quadrotor in a nondeterministic environment. ICRA Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta
2013	A	`conf`	Temporal logic motion planning in unknown environments. IROS Ana I. Medina Ayala, Sean B. Andersson, Calin Belta
2013	J	`jnl`	Temporal logic robot control based on automata learning of environmental dynamics. Int. J. Robotics Res. Yushan Chen, Jana Tumova, Alphan Ulusoy, Calin Belta
2012	—	`conf`	Approximate Markovian abstractions for linear stochastic systems. CDC Morteza Lahijanian, Sean B. Andersson, Calin Belta
2012	J	`jnl`	Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications CoRR Igor Cizelj, Calin Belta
2012	A	`conf`	Experimentally driven verification of synthetic biological circuits. DATE Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore
2012	J	`jnl`	Finite Bisimulations for Switched Linear Systems CoRR Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta
2012	—	`conf`	Finite bisimulations for switched linear systems. CDC Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta
2012	J	`jnl`	Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions CoRR Xu Chu Ding, Mircea Lazar, Calin Belta
2012	—	`conf`	Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. ADHS Xu Chu Ding, Mircea Lazar, Calin Belta
2012	J	`jnl`	Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Trans. Robotics Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta
2012	—	`conf`	Formal methods for dynamical systems. HSCC Calin Belta
2012	J	`jnl`	Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints CoRR Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
2012	J	`jnl`	Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents CoRR Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus
2012	—	`conf`	Incremental control synthesis in probabilistic environments with Temporal Logic constraints. CDC Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
2012	A	`conf`	Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. IROS Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus
2012	A*	`conf`	LTL robot motion control based on automata learning of environmental dynamics. ICRA Yushan Chen, Jana Tumova, Calin Belta
2012	—	`conf`	Language-guided controller synthesis for discrete-time linear systems. HSCC Ebru Aydin Gol, Mircea Lazar, Calin Belta
2012	—	`conf`	Multi-agent persistent monitoring in stochastic environments with temporal logic constraints. CDC Yushan Chen, Kun Deng, Calin Belta
2012	J	`jnl`	Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization CoRR Alphan Ulusoy, Stephen L. Smith, Calin Belta
2012	—	`conf`	Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization. DARS Alphan Ulusoy, Stephen L. Smith, Calin Belta
2012	A*	`conf`	Probabilistic control from time-bounded temporal logic specifications in dynamic environments. ICRA Ana I. Medina Ayala, Sean B. Andersson, Calin Belta
2012	J	`jnl`	Probabilistically Safe Control of Noisy Dubins Vehicles CoRR Igor Cizelj, Calin Belta
2012	A	`conf`	Probabilistically safe control of noisy Dubins vehicles. IROS Igor Cizelj, Calin Belta
2012	J	`jnl`	Receding Horizon Temporal Logic Control for Finite Deterministic Systems CoRR Xu Chu Ding, Mircea Lazar, Calin Belta
2012	C	`conf`	Receding horizon temporal logic control for finite deterministic systems. ACC Xu Chu Ding, Mircea Lazar, Calin Belta
2012	J	`jnl`	Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints CoRR Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta
2012	A*	`conf`	Robust multi-robot optimal path planning with temporal logic constraints. ICRA Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta
2012	J	`jnl`	Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta
2012	J	`jnl`	Temporal Logic Motion Control using Actor-Critic Methods CoRR Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta
2012	J	`jnl`	Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Trans. Robotics Morteza Lahijanian, Sean B. Andersson, Calin Belta
2012	A*	`conf`	Temporal logic motion control using actor-critic methods. ICRA Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta
2012	J	`jnl`	Time-Constrained Temporal Logic Control of Multi-Affine Systems CoRR Ebru Aydin Gol, Calin Belta
2012	—	`conf`	Time-Constrained Temporal Logic Control of Multi-Affine Systems. ADHS Ebru Aydin Gol, Calin Belta
2011	J	`jnl`	A Formal Verification Approach to the Design of Synthetic Gene Networks CoRR Boyan Yordanov, Calin Belta
2011	—	`conf`	A formal verification approach to the design of synthetic gene networks. CDC/ECC Boyan Yordanov, Calin Belta
2011	—	`conf`	An application of monotone functions decomposition to the reconstruction of gene regulatory networks. EMBC Hyeygjeon Chang, Guilhem Richard, A. Agung Julius, Calin Belta, Salomon Amar
2011	J	`jnl`	Automatic Deployment of Robotic Teams. IEEE Robotics Autom. Mag. Xu Chu Ding, Marius Kloetzer, Yushan Chen, Calin Belta
2011	—	`conf`	Automatic Generation of Balletic Motions. ICCPS Amy LaViers, Magnus Egerstedt, Yushan Chen, Calin Belta
2011	J	`jnl`	Automatic Sequencing of Ballet Poses. IEEE Robotics Autom. Mag. Amy LaViers, Yushan Chen, Calin Belta, Magnus Egerstedt
2011	C	`conf`	Control of Markov decision processes from PCTL specifications. ACC Morteza Lahijanian, Sean B. Andersson, Calin Belta
2011	—	`conf`	Genetic regulatory network identification using multivariate monotone functions. CDC/ECC Nicholas Cooper, Calin Belta, A. Agung Julius
2011	—	`conf`	Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. CDC/ECC Guilhem Richard, Hyeygjeon Chang, Igor Cizelj, Calin Belta, A. Agung Julius, Salomon Amar
2011	J	`jnl`	LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees CoRR Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus
2011	J	`jnl`	Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control CoRR Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis
2011	—	`conf`	Least squares temporal difference actor-critic methods with applications to robot motion control. CDC/ECC Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis
2011	J	`jnl`	MDP Optimal Control under Temporal Logic Constraints CoRR Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus
2011	—	`conf`	MDP optimal control under temporal logic constraints. CDC/ECC Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus
2011	J	`jnl`	Multi-robot Deployment From LTL Specifications with Reduced Communication CoRR Marius Kloetzer, Xu Chu Ding, Calin Belta
2011	—	`conf`	Multi-robot deployment from LTL specifications with reduced communication. CDC/ECC Marius Kloetzer, Xu Chu Ding, Calin Belta
2011	J	`jnl`	Optimal Multi-Robot Path Planning with Temporal Logic Constraints CoRR Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus
2011	A	`conf`	Optimal multi-robot path planning with Temporal Logic constraints. IROS Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus
2011	J	`jnl`	Optimal path planning for surveillance with temporal-logic constraints. Int. J. Robotics Res. Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
2011	J	`jnl`	Probabilistically Safe Vehicle Control in a Hostile Environment CoRR Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta
2011	J	`jnl`	Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications CoRR Yushan Chen, Xu Chu Ding, Calin Belta
2011	—	`conf`	Synthesis of distributed control and communication schemes from global LTL specifications. CDC/ECC Yushan Chen, Xu Chu Ding, Calin Belta
2011	A	`conf`	Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. IROS Ana I. Medina Ayala, Sean B. Andersson, Calin Belta
2010	—	`conf`	A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. DARS Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta
2010	A	`conf`	A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta
2010	—	`conf`	A symbolic approach to controlling piecewise affine systems. CDC Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat
2010	J	`jnl`	An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Ind. Informatics Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez
2010	J	`jnl`	Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. IEEE Trans. Robotics Marius Kloetzer, Calin Belta
2010	J	`jnl`	Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. Boyan Yordanov, Calin Belta
2010	—	`conf`	Formal analysis of piecewise affine systems through formula-guided refinement. CDC Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat
2010	—	`conf`	IN-HAPTICS: Interactive navigation using haptics. HAPTICS Richard D. Walker, Sean B. Andersson, Calin Belta, Pierre E. Dupont
2010	A*	`conf`	Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. ICRA Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta
2010	A*	`conf`	On the need for communication in distributed implementations of LTL motion specifications. ICRA Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta
2010	J	`jnl`	Optimal Path Planning under Temporal Logic Constraints CoRR Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
2010	A	`conf`	Optimal path planning under temporal logic constraints. IROS Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
2010	—	`conf`	Receding horizon surveillance with temporal logic specifications. CDC Xu Chu Ding, Calin Belta, Christos G. Cassandras
2009	—	`conf`	A probabilistic approach for control of a stochastic system from LTL specifications. CDC Morteza Lahijanian, Sean B. Andersson, Calin Belta
2009	A*	`conf`	Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). ICRA Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson
2009	—	`conf`	Temporal logic control of discrete-time piecewise affine systems. CDC Boyan Yordanov, Calin Belta
2008	J	`jnl`	A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. IEEE Trans. Autom. Control. Marius Kloetzer, Calin Belta
2008	—	`conf`	Dealing with Nondeterminism in Symbolic Control. HSCC Marius Kloetzer, Calin Belta
2008	A*	`conf`	Distributed implementations of global temporal logic motion specifications. ICRA Marius Kloetzer, Calin Belta
2008	J	`jnl`	Exploiting the pathway structure of metabolism to reveal high-order epistasis. BMC Syst. Biol. Marcin Imielinski, Calin Belta
2008	C	`conf`	Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks. ACC Boyan Yordanov, Calin Belta
2008	—	`conf`	Formal analysis of timed continuous Petri nets. CDC Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez
2008	—	`conf`	Investigating the genomic basis of metabolic robustness through in silico flux analysis. CDC Marcin Imielinski, Niels Klitgord, Calin Belta
2008	—	`conf`	Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC Boyan Yordanov, Calin Belta
2008	—	`ch.`	Robot Motion Planning. Wiley Encyclopedia of Computer Science and Engineering Calin Belta
2008	J	`jnl`	Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. IEEE Trans. Autom. Control. Grégory Batt, Calin Belta, Ron Weiss
2007	A*	`conf`	Managing non-determinism in symbolic robot motion planning and control. ICRA Marius Kloetzer, Calin Belta
2007	—	`conf`	Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC Grégory Batt, Calin Belta, Ron Weiss
2007	A	`conf`	Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS Grégory Batt, Calin Belta, Ron Weiss
2007	C	`conf`	On the Computation of Minimal Cut Sets in Genome Scale Metabolic Networks. ACC Marcin Imielinski, Calin Belta
2007	J	`jnl`	Robustness analysis and tuning of synthetic gene networks. Bioinform. Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta
2007	J	`jnl`	Symbolic planning and control of robot motion [Grand Challenges of Robotics]. IEEE Robotics Autom. Mag. Calin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas
2007	J	`jnl`	Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Trans. Robotics Marius Kloetzer, Calin Belta
2006	A	`conf`	A Framework for Automatic Deployment of Robots in 2D and 3D Environments. IROS Marius Kloetzer, Calin Belta
2006	—	`conf`	A Fully Automated Framework for Control of Linear Systems from LTL Specifications. HSCC Marius Kloetzer, Calin Belta
2006	—	`conf`	Control of Rectangular Multi-Affine Hybrid Systems. CDC Luc C. G. J. M. Habets, Marius Kloetzer, Calin Belta
2006	J	`jnl`	Controlling a Class of Nonlinear Systems on Rectangles. IEEE Trans. Autom. Control. Calin Belta, Luc C. G. J. M. Habets
2006	A*	`conf`	Controlling three Dimensional Swarms of Robots. ICRA Nathan Michael, Calin Belta, Vijay Kumar
2006	A*	`conf`	Hierarchical Abstractions for Robotic Swarms. ICRA Marius Kloetzer, Calin Belta
2006	—	`conf`	Reachability Analysis of Multi-affine Systems. HSCC Marius Kloetzer, Calin Belta
2005	J	`jnl`	Computational Techniques for Analysis of Genetic Network Dynamics. Int. J. Robotics Res. Calin Belta, Joel M. Esposito, Jongwoo Kim, Vijay Kumar
2005	J	`jnl`	Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Trans. Robotics Calin Belta, Volkan Isler, George J. Pappas
2005	J	`jnl`	Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. Bioinform. Marcin Imielinski, Calin Belta, Ádám M. Halász, Harvey Rubin
2004	J	`jnl`	Abstraction and control for Groups of robots. IEEE Trans. Robotics Calin Belta, Vijay R. Kumar
2004	A	`conf`	Hybrid control for visibility-based pursuit-evasion games. IROS Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas
2004	A*	`conf`	On Controlling Aircraft and Underwater Vehicles. ICRA Calin Belta
2004	—	`conf`	Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. HSCC Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin
2003	C	`conf`	Abstraction and Control for Swarms of Robots. ISRR Calin Belta, Guilherme A. S. Pereira, Vijay Kumar
2003	A*	`conf`	Abstraction and control for groups of fully-actuated planar robots. ICRA Calin Belta, Vijay Kumar
2003	—	`conf`	Control of a team of car-like robots using abstractions. CDC Calin Belta, Guilherme A. S. Pereira, Vijay Kumar
2003	—	`ch.`	Towards Abstraction and Control for Large Groups of Robots. Control Problems in Robotics Calin Belta, Vijay Kumar
2002	J	`jnl`	An SVD-based projection method for interpolation on SE(3). IEEE Trans. Robotics Autom. Calin Belta, Vijay R. Kumar
2002	—	`conf`	Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. CDC Calin Belta, Luc C. G. J. M. Habets, Vijay Kumar
2002	J	`jnl`	Modeling and analyzing biomolecular networks. Comput. Sci. Eng. Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug
2002	A*	`conf`	Trajectory Design for Formations of Robots by Kinetic Energy Shaping. ICRA Calin Belta, Vijay Kumar
2002	Misc	`conf`	Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb
2001	—	`conf`	Hybrid Modeling and Simulation of Biomolecular Networks. HSCC Rajeev Alur, Calin Belta, Franjo Ivancic
2001	A*	`conf`	Motion Generation for Formations of Robots a Geometric Approach. ICRA Calin Belta, Vijay Kumar
2001	—	`conf`	On controlling aircraft formations. CDC Rafael Fierro, Calin Belta, Jaydev P. Desai, Vijay Kumar
2001	J	`jnl`	Rotating stall control for axial flow compressors. Autom. Calin Belta, Guoxiang Gu, Andrew G. Sparks, Siva Banda
2001	—	`conf`	Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. CDC Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap