Keyword:Partial Model Checking

Papers
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