Publications (23)
Reactive Control Meets Runtime Verification: A Case Study of Navigation
Dogan Ulus, Calin Belta
Time Window Temporal Logic
Cristian-Ioan Vasile, Derya Aksaray, Calin Belta
Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions
Xiao Li, Calin Belta
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization
Alphan Ulusoy, Stephen L. Smith, Calin Belta
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta +2
Optimal Control of MDPs with Temporal Logic Constraints
Maria Svorenova, Ivana Cerna, Calin Belta
Sampling-Based Temporal Logic Path Planning
Cristian Ioan Vasile, Calin Belta
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
Austin Jones, Mac Schwager, Calin Belta
Finite Bisimulations for Switched Linear Systems
Ebru Aydin Gol, Xuchu Ding, Mircea Lazar +1
Optimal Path Planning under Temporal Logic Constraints
Stephen L. Smith, Jana Tumova, Calin Belta +1
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Mária SvoreÅová, Ivana Äerná, Calin Belta
Metrics for Signal Temporal Logic Formulae
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini +5
Automata-Guided Hierarchical Reinforcement Learning for Skill Composition
Xiao Li, Yao Ma, Calin Belta
A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks
Xiao Li, Calin Belta
Automata Guided Reinforcement Learning With Demonstrations
Xiao Li, Yao Ma, Calin Belta
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +1
Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications
Igor Cizelj, Calin Belta
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks
Xiao Li, Yao Ma, Calin Belta
Reinforcement Learning With Temporal Logic Rewards
Xiao Li, Cristian-Ioan Vasile, Calin Belta
Optimal Multi-Robot Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +2
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications
Igor Cizelj, Calin Belta