Parametric non-interference in timed automata.

Étienne André Aleksander Kryukov

Published in: ICECCS (2020)

Keyphrases

timed automata
model checking
theorem prover
reachability analysis
theorem proving
first order logic
real time systems
parametric models
multiresolution
multipath
information retrieval
temporal logic
expert systems
information systems
computer vision
data mining
weak signal detection