Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.
Andrew ScoonesMahsa ShirmohammadiJames WorrellPublished in: CoRR (2024)
Keyphrases
- positive and negative
- timed automata
- model checking
- positive or negative
- decision rules
- reachability analysis
- theorem prover
- state space
- first order logic
- feature extraction
- extracted features
- positive examples
- real time systems
- knowledge base
- positive and negative examples
- artificial intelligence
- learning algorithm