Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints.
Benoît BarbotNicolas BassetPublished in: QEST (2023)
Keyphrases
- timed automata
- linear constraints
- model checking
- mutual information
- reachability analysis
- monte carlo
- information theory
- information theoretic
- theorem prover
- constrained optimization
- information entropy
- linear inequalities
- minimum error
- finite state automaton
- artificial intelligence
- shannon entropy
- continuous variables
- global constraints
- theorem proving
- random sampling