Dynamic routing of energy-aware vehicles with Temporal Logic Constraints.
Derya AksarayCristian Ioan VasileCalin BeltaPublished in: ICRA (2016)
Keyphrases
- temporal logic
- energy aware
- dynamic routing
- model checking
- automata theoretic
- routing algorithm
- dynamic constraints
- wireless sensor networks
- routing protocol
- travel time
- high performance computing
- smart home
- belief revision
- energy consumption
- ad hoc networks
- heavy traffic
- data center
- formal specification
- load balancing
- sensor networks