Search Results for author:
Found 4 papers, 1 papers with code
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
There are several examples of the use of formal languages such as temporal logics and automata to specify high-level task specifications for robots (in lieu of Markovian rewards).
Hierarchical Potential-based Reward Shaping from Task Specifications
The automatic synthesis of policies for robotic-control tasks through reinforcement learning relies on a reward signal that simultaneously captures many possibly conflicting requirements.
DeepSTL -- From English Requirements to Signal Temporal Logic
In this paper we propose DeepSTL, a tool and technique for the translation of informal requirements, given as free English sentences, into Signal Temporal Logic (STL), a formal specification language for cyber-physical systems, used both by academia and advanced research labs in industry.
Challenges of engineering safe and secure highly automated vehicles
After more than a decade of intense focus on automated vehicles, we are still facing huge challenges for the vision of fully autonomous driving to become a reality.
