Bachelor's thesis about the topic 'Minimization of Büchi Automata using Fair Simulation'.
zabuzard / buechi-minimization-fairsimulation_thesis Goto Github PK
View Code? Open in Web Editor NEWBachelor's thesis about the topic 'Minimization of Büchi Automata using Fair Simulation'.
License: Other