Login / Signup
LTLf Synthesis Under Environment Specifications.
Antonio Di Stasio
Published in:
ICTCS (2022)
Keyphrases
</>
real time
texture synthesis
dynamic environments
complex environments
real world
evolutionary algorithm
mobile robot
decision trees
case study
high level
mobile robotics