Articles with public access mandates - Peter BulychevLearn more
Available somewhere: 2
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
Mandates: Danish National Research Foundation
Efficient controller synthesis for a fragment of
P Bulychev, A David, KG Larsen, G Li
Acta Informatica 51, 165-192, 2014
Mandates: National Natural Science Foundation of China, Danish National Research …
Publication and funding information is determined automatically by a computer program