Login / Signup

Symbolic Model Checking Using Intervals of Vectors.

Damien MorardLucas DonatiDidier Buchs
Published in: Petri Nets (2024)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • formal verification
  • conformant planning
  • binary decision diagrams
  • symbolic representation
  • temporal logic
  • real valued
  • bayesian networks
  • model checker