Results (7)

  • Computation tree logic for synchronization properties
    Conference paper
  • On the skolem problem for continuous linear dynamical systems
    Conference paper
  • Edit distance for pushdown automata
    Conference paper
  • The complexity of synthesis from probabilistic components
    Conference paper
  • Games with a weak adversary
    Conference paper