Login / Signup

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress.

Stefano SpelliniMichele LoraSudipta ChattopadhyayFranco Fummi
Published in: CODES+ISSS (2018)
Keyphrases
  • supply chain
  • model checking
  • database
  • evolutionary algorithm
  • dynamic programming
  • probabilistic model