Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Ilaria Matteucci
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
Keyphrases
Partial Model Checking
,
quantitative reasoning
,
semiring
.
Copyright © 2012-2024 easychair.org. All rights reserved.