Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm

Bohn, Leon; Löding, Christof (Corresponding author)

(2021)
Preprint

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]

Identifier

Downloads

Related publications