A Quantitative Partial Model-Checking Function and Its Optimisation. Bistarelli, S., Martinelli, F., Matteucci, I., & Santini, F. In Eiter, T. & Sands, D., editors, LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, volume 46, of EPiC Series in Computing, pages 319–337, 2017. EasyChair. Paper doi bibtex @inproceedings{DBLP:conf/lpar/BistarelliMMS17,
author = {Stefano Bistarelli and
Fabio Martinelli and
Ilaria Matteucci and
Francesco Santini},
editor = {Thomas Eiter and
David Sands},
title = {A Quantitative Partial Model-Checking Function and Its Optimisation},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {319--337},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/rb2p},
doi = {10.29007/RB2P},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"N4QuTYTgBoCxNSBQF","bibbaseid":"bistarelli-martinelli-matteucci-santini-aquantitativepartialmodelcheckingfunctionanditsoptimisation-2017","downloads":0,"creationDate":"2018-10-01T12:33:09.604Z","title":"A Quantitative Partial Model-Checking Function and Its Optimisation","author_short":["Bistarelli, S.","Martinelli, F.","Matteucci, I.","Santini, F."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Martinelli"],"suffixes":[]},{"firstnames":["Ilaria"],"propositions":[],"lastnames":["Matteucci"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]}],"editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"A Quantitative Partial Model-Checking Function and Its Optimisation","booktitle":"LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017","series":"EPiC Series in Computing","volume":"46","pages":"319–337","publisher":"EasyChair","year":"2017","url":"https://doi.org/10.29007/rb2p","doi":"10.29007/RB2P","timestamp":"Sun, 15 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lpar/BistarelliMMS17,\n author = {Stefano Bistarelli and\n Fabio Martinelli and\n Ilaria Matteucci and\n Francesco Santini},\n editor = {Thomas Eiter and\n David Sands},\n title = {A Quantitative Partial Model-Checking Function and Its Optimisation},\n booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial\n Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},\n series = {EPiC Series in Computing},\n volume = {46},\n pages = {319--337},\n publisher = {EasyChair},\n year = {2017},\n url = {https://doi.org/10.29007/rb2p},\n doi = {10.29007/RB2P},\n timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Martinelli, F.","Matteucci, I.","Santini, F."],"editor_short":["Eiter, T.","Sands, D."],"key":"DBLP:conf/lpar/BistarelliMMS17","id":"DBLP:conf/lpar/BistarelliMMS17","bibbaseid":"bistarelli-martinelli-matteucci-santini-aquantitativepartialmodelcheckingfunctionanditsoptimisation-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/rb2p"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["quantitative","partial","model","checking","function","optimisation","bistarelli","martinelli","matteucci","santini"],"keywords":[],"authorIDs":[],"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4","NMm7YpyiDxjcnpopo","WXL4P7BKHQy7Qss6y"]}