Login / Signup
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.
Antoine Ferlin
Virginie Wiels
Philippe Bon
Published in:
Int. J. Comput. Commun. Control (2016)
Keyphrases
</>
temporal properties
expert systems
artificial intelligence
fuzzy logic
general purpose
model checking
life cycle