Simplified Coalgebraic Trace Equivalence.

Alexander Kurz Stefan Milius Dirk Pattinson Lutz Schröder

Published in: Software, Services, and Systems (2015)

Keyphrases

real time
data sets
execution traces
genetic algorithm
neural network
data mining
pattern recognition
interactive dynamic influence diagrams