Login / Signup

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.

Luca Di StefanoFrédéric Lang
Published in: ISoLA (2021)
Keyphrases
  • temporal properties
  • model checking
  • complex systems
  • formal methods
  • expert systems
  • knowledge based systems
  • case based reasoning
  • computational intelligence
  • building blocks