Search Results for author:
Found 2 papers, 0 papers with code
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
We consider robots with unknown stochastic dynamics operating in environments with unknown geometric structure.
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
To the best of our knowledge, this is the first work that designs verified temporal compositions of NN controllers for unknown and stochastic systems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
