APEX: An analyzer for open probabilistic programs

We present APEX, a tool for analysing probabilistic programs that are open, i.e. where variables or even functions can be left unspecified. APEX transforms a program into an automaton that captures the program's probabilistic behaviour under all instantiations of the unspecified components. The...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J
التنسيق: Journal article
اللغة:English
منشور في: 2012