Results (12)

  • Nested weighted automata
    Conference paper
  • Specification-centered robustness
    Conference paper
  • Mean-payoff parity games
    Conference paper