History-Deterministic Timed Automata Are Not Determinizable.

Sougata Bose Thomas A. Henzinger Karoliina Lehtinen Sven Schewe Patrick Totzke

Published in: RP (2022)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
temporal logic
first order logic
neural network
objective function
digital libraries
multiresolution
multiscale
database systems
feature selection
search engine
real time systems
genetic algorithm
databases