Login / Signup

SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata.

Bozena Wozna-SzczesniakAgnieszka M. ZbrzeznyAndrzej Zbrzezny
Published in: Fundam. Informaticae (2017)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • information retrieval
  • optimal design
  • genetic algorithm
  • closed form
  • real time
  • data sets
  • optimal solution
  • theorem prover