Login / Signup

Utilizing Reachability Analysis in Point Location Problems.

Jørgen SpjøtvoldSasa V. RakovicPetter TøndelTor Arne Johansen
Published in: CDC (2006)
Keyphrases
  • location problems
  • reachability analysis
  • single facility
  • model checking
  • markov decision processes
  • bicriteria
  • timed automata