Unknown Biases and Timing Constraints in Timed Automata.
Darion HaaseJoost-Pieter KatoenPublished in: CoRR (2024)
Keyphrases
- timed automata
- timing constraints
- real time systems
- real time database systems
- real time databases
- model checking
- real time
- embedded devices
- distributed systems
- concurrency control
- embedded systems
- theorem prover
- active databases
- execution model
- resource constraints
- first order logic
- transaction processing
- fine grained
- theorem proving
- mobile devices
- expert systems