Heuristics for Designing the Control of a UAV Fleet With Model Checking

DOI10.1007/978-3-540-48271-0_2zbMath1223.49042OpenAlexW136048484MaRDI QIDQ5198692

Christopher A. Bohn

Publication date: 9 August 2011

Published in: Lecture Notes in Economics and Mathematical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-48271-0_2

zbMATH Keywords

improvements in the available heuristicspursuer-evader gamepursuer-winning strategy

Mathematics Subject Classification ID

Decentralized systems (93A14) Pursuit and evasion games (49N75)

This page was built for publication: Heuristics for Designing the Control of a UAV Fleet With Model Checking