Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks.
Adam PacheckHadas Kress-GazitPublished in: CoRR (2022)
Keyphrases
- high level
- low level
- spatio temporal
- programming language
- temporal information
- temporal databases
- temporal data
- higher level
- spatial and temporal
- temporal aspects
- databases
- temporal dimension
- linear model
- temporal constraints
- temporal reasoning
- knowledge representation
- reinforcement learning
- multiscale
- neural network