Login / Signup

Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.

Antoine FerlinVirginie WielsPhilippe Bon
Published in: Int. J. Comput. Commun. Control (2016)
Keyphrases
  • temporal properties
  • expert systems
  • artificial intelligence
  • fuzzy logic
  • general purpose
  • model checking
  • life cycle