A Quantitative Partial Model-Checking Function and Its Optimisation.

Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini

Browse the full LPAR paper archive.