Keyword:Partial Model Checking

Publications
A Quantitative Partial Model-Checking Function and Its Optimisation Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci and Francesco Santini In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning