Languages of Higher-Dimensional Timed Automata.

Amazigh Amrane Hugo Bazille Emily Clement Uli Fahrenberg

Published in: CoRR (2024)

Keyphrases

higher dimensional
timed automata
model checking
reachability analysis
euclidean space
low dimensional
high dimensional
theorem prover
arbitrary dimension
distance transform
theorem proving
first order logic
shape analysis
machine learning
neural network
real time systems
temporal logic