Sign in

Reactive synthesis for finite tasks under resource constraints.

Keliang HeMorteza LahijanianLydia E. KavrakiMoshe Y. Vardi
Published in: IROS (2017)
Keyphrases
  • resource constraints
  • resource constrained
  • resource availability
  • routing problem
  • resource constrained project scheduling problem
  • project scheduling
  • temporal constraints
  • neural network
  • high level
  • special case