Nielsen, Brian

1 publications

MLJ 2016 Learning Deterministic Probabilistic Automata from a Model Checking Perspective Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen