Results (4)

  • Rabinizer 3: Safraless translation of ltl to small deterministic automata
    Conference paper
  • Extensional crisis and proving identity
    Conference paper
  • What’s decidable about weighted automata
    Conference paper