Testing membership for timed automata.

Richard Lassaigne Michel de Rougemont

Published in: Acta Informatica (2023)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
test cases
first order logic
information systems
temporal logic
genetic algorithm
real time systems
machine learning
video sequences
theorem proving
image processing
data structure
artificial neural networks
real world
information retrieval