Real-Time Reachability for Neurosymbolic Reinforcement Learning based Safe Autonomous Navigation (bibtex)

by Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson and Xenofon Koutsoukos

Reference:

Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson and Xenofon Koutsoukos, "Real-Time Reachability for Neurosymbolic Reinforcement Learning based Safe Autonomous Navigation", In 2nd International Conference on Neuro-symbolic Systems (NeuS'25), PMLR, 2025.

Bibtex Entry:

@inproceedings{potteiger2025neus,
  title = {Real-Time Reachability for Neurosymbolic Reinforcement Learning based Safe Autonomous Navigation},
  author = {Nicholas Potteiger and Diego Manzanas Lopez and Taylor T. Johnson and Xenofon Koutsoukos},
  year = {2025},
  month = may,
  booktitle = {2nd International Conference on Neuro-symbolic Systems (NeuS'25)},
  publisher = {PMLR},
  keywords = {reinforcement learning, real-time reachability, neurosymbolic learning},
  publabel = {C56},
  pubtype = {C},
  pdf = "research/potteiger2025neus.pdf",
}