1. Reactive sampling-based path planning with temporal logic specifications. (July 2020) Authors: Vasile, Cristian Ioan; Li, Xiao; Belta, Calin Journal: International journal of robotics research Issue: Volume 39:Number 8(2020) Page Start: 1002 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal methods for discrete-time dynamical systems. ([2017]) Authors: Belta, Calin; Yordanov, Boyan; Gol, Ebru Aydin Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Temporal logic robot control based on automata learning of environmental dynamics. (April 2013) Authors: Chen, Yushan; Tůmová, Jana; Ulusoy, Alphan; Belta, Calin Journal: International journal of robotics research Issue: Volume 32:Number 5(2013) Page Start: 547 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints. (July 2013) Authors: Ulusoy, Alphan; Smith, Stephen L.; Ding, Xu Chu; Belta, Calin; Rus, Daniela Journal: International journal of robotics research Issue: Volume 32:Number 8(2013) Page Start: 889 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Safe exploration in model-based reinforcement learning using control barrier functions. (January 2023) Authors: Cohen, Max H.; Belta, Calin Journal: Automatica Issue: Volume 147(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach. (February 2023) Authors: Cohen, Max H.; Serlin, Zachary; Leahy, Kevin; Belta, Calin Journal: Nonlinear analysis Issue: Volume 47(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Control in belief space with temporal logic specifications using vision-based localization. (May 2019) Authors: Leahy, Kevin; Cristofalo, Eric; Vasile, Cristian-Ioan; Jones, Austin; Montijano, Eduardo; Schwager, Mac; Belta, Calin Journal: International journal of robotics research Issue: Volume 38:Number 6(2019) Page Start: 702 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Distributed and consistent multi-image feature matching via QuickMatch. (September 2020) Authors: Serlin, Zachary; Yang, Guang; Sookraj, Brandon; Belta, Calin; Tron, Roberto Journal: International journal of robotics research Issue: Volume 39:Number 10/11(2020) Page Start: 1222 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. (February 2017) Authors: Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin Journal: Nonlinear analysis Issue: Volume 23(2017) Page Start: 230 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. (June 2023) Authors: Mehdipour, Noushin; Althoff, Matthias; Tebbens, Radboud Duintjer; Belta, Calin Journal: Automatica Issue: Volume 152(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗