Department of Artificial Intelligence and Systems Engineering
büchi automaton (1) · formal methods (1) · formal verification (2) · linear temporal logic (1) · model abstraction (1) · model checking (2)
2 theses in total. View all theses »