Languages of Higher-Dimensional Timed Automata.
Amazigh AmraneHugo BazilleEmily ClementUli FahrenbergPublished in: Petri Nets (2024)
Keyphrases
- higher dimensional
- timed automata
- model checking
- reachability analysis
- euclidean space
- arbitrary dimension
- theorem prover
- high dimensional
- low dimensional
- theorem proving
- first order logic
- real time systems
- dimensionality reduction
- temporal logic
- inference rules
- wavelet packet
- frequency domain
- artificial intelligence
- pattern recognition
- face recognition