Symbolic Timed Trace Equivalence.

Vivek Nigam Carolyn L. Talcott Abraão Aires Urquiza

Published in: Foundations of Security, Protocols, and Equational Reasoning (2019)

Keyphrases

petri net
symbolic representation
connectionist learning
real time
timed automata
multi agent
real world
genetic algorithm
image processing
case study
image segmentation
database systems
image sequences
finite state machines
connectionist models
interactive dynamic influence diagrams