Keyphrases
Robotic Applications
100%
Proof Obligations
100%
Distributed Robot Systems
100%
Hardware Platform
66%
Platform Independent
66%
Physics-based Model
33%
Signal Processing
33%
Programming Languages
33%
Distributed Storage
33%
Controlled Paths
33%
Communication Protocol
33%
Symbolic Execution
33%
Levels of Abstraction
33%
Environmental Control
33%
Low-level Control
33%
Model Verification
33%
Verification Tool
33%
Formation Flight
33%
High Assurance
33%
Path Planning
33%
K Framework
33%
Execution Engine
33%
Prover
33%
Formal Executable Semantics
33%
Processing Control
33%
Domain-specific Languages
33%
Planning Network
33%
Robot Application
33%
Hybrid Verification
33%
Distributed Delivery
33%
Computer Science
Robot
100%
Robotics Application
100%
Proof Obligation
100%
Hardware Platform
66%
path-planning
33%
Shared Memories
33%
Symbolic Execution
33%
Network Protocols
33%
Execution Engine
33%
Domain-Specific Language
33%