Ergonomic Collaboration between Humans and Robots: An Energy-Aware Signal Temporal Logic Perspective.
Giuseppe SilanoAmr AfifiMartin SaskaAntonio FranchiPublished in: CoRR (2023)
Keyphrases
- temporal logic
- energy aware
- model checking
- routing protocol
- modal logic
- high performance computing
- wireless sensor networks
- sensor networks
- data center
- energy consumption
- smart home
- routing algorithm
- linear temporal logic
- energy efficiency
- transition systems
- computation tree logic
- temporal knowledge
- belief revision
- verification method
- reactive systems
- artificial intelligence
- fine grained