Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking.

Mohamed Abdelhamid Ayman A. Atallah Marwan Ammar Otmane Aït Mohamed

Published in: MWSCAS (2021)

Keyphrases

model checking
reliability analysis
temporal logic
unmanned aerial vehicles
formal verification
temporal properties
formal specification
finite state

model checker
computation tree logic
symbolic model checking
reachability analysis
formal methods
pspace complete
verification method
bounded model checking

timed automata
automated verification
transition systems
alternating time temporal logic
concurrent systems
process algebra
epistemic logic
reactive systems

linear temporal logic
path planning
dynamic environments
decentralized control
communication protocols
planning domains
artificial intelligence