A Quantitative Partial Model-Checking Function and Its Optimisation
From MaRDI portal
Publication:4645744
DOI10.29007/rb2pzbMath1403.68121MaRDI QIDQ4645744
Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci
Publication date: 10 January 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/rb2p
optimisation; semirings; partial model checking; quantitative modal logic; quantitative process algebra; quantitative evaluation of systems
68Q25: Analysis of algorithms and problem complexity
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)