Login / Signup

The COMICS Tool - Computing Minimal Counterexamples for DTMCs.

Nils JansenErika ÁbrahámMatthias VolkRalf WimmerJoost-Pieter KatoenBernd Becker
Published in: ATVA (2012)
Keyphrases
  • case study
  • computer vision
  • database
  • real world
  • data mining
  • decision trees
  • search algorithm
  • trade off
  • data model
  • design tools