Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks.

Adam Pacheck Hadas Kress-Gazit

Published in: IEEE Trans. Robotics (2023)

Keyphrases

high level
low level
spatio temporal
spatial and temporal
temporal information
databases
artificial intelligence
multiscale
feasible solution
low level features
temporal data
temporal analysis
temporal consistency