Login / Signup

Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking.

Manuele BrambillaArne BrutschyMarco DorigoMauro Birattari
Published in: ACM Trans. Auton. Adapt. Syst. (2015)
Keyphrases
  • search algorithm
  • model checking
  • cooperative
  • dynamic programming
  • formal verification
  • asynchronous circuits
  • verification method