Login / Signup
An Interface for Verification and Validation of Unmanned Systems Mission Planning: Communicating Mission Objectives and Constraints.
Clayton D. Rothwell
Michael Patzek
Published in:
IEEE Trans. Hum. Mach. Syst. (2019)
Keyphrases
</>
mission planning
decision making
complex systems
unmanned aerial vehicles
formal methods
communication channels
constraint satisfaction
building blocks
computer systems
knowledge based systems
model checking
path planning
intelligent systems
distributed systems
decision makers
asynchronous circuits
expert systems