Sign in

Acacia+, a Tool for LTL Synthesis.

Aaron BohyVéronique BruyèreEmmanuel FiliotNaiyong JinJean-François Raskin
Published in: CAV (2012)
Keyphrases
  • multiscale
  • temporal logic
  • database
  • databases
  • website
  • multi agent
  • user friendly
  • bounded model checking