Distributed safe planning for satisfying minimal temporal relaxations of TWTL specifications.
Ryan PetersonAli Tevfik BuyukkocakDerya AksarayYasin YaziciogluPublished in: Robotics Auton. Syst. (2021)
Keyphrases
- distributed systems
- cooperative
- spatial and temporal
- constraint reasoning
- fault tolerant
- spatio temporal
- linear programming
- temporal data
- temporal patterns
- goal oriented
- temporal constraints
- computer networks
- delay insensitive
- distributed data
- temporal databases
- formal specification
- neural network
- temporal information
- space time
- lower bound
- multi agent
- temporal reasoning
- lightweight
- decision support
- data sources
- temporal relations
- temporal consistency