Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications.

Mehrdad Zareian Anne-Kathrin Schmuck

Published in: HSCC (2023)

Keyphrases

state transition
high level
state space
control system
real time
machine learning
information retrieval
reinforcement learning
search algorithm
natural language
feedback loop
controller synthesis