{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:35:51Z","timestamp":1753889751789,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"crossref","award":["306999"],"award-info":[{"award-number":["306999"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"crossref","award":["600708"],"award-info":[{"award-number":["600708"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Stochastic processes offer a flexible mathematical formalism to model and\nreason about systems. Most analysis tools, however, start from the premises\nthat models are fully specified, so that any parameters controlling the\nsystem's dynamics must be known exactly. As this is seldom the case, many\nmethods have been devised over the last decade to infer (learn) such parameters\nfrom observations of the state of the system. In this paper, we depart from\nthis approach by assuming that our observations are {\\it qualitative}\nproperties encoded as satisfaction of linear temporal logic formulae, as\nopposed to quantitative observations of the state of the system. An important\nfeature of this approach is that it unifies naturally the system identification\nand the system design problems, where the properties, instead of observations,\nrepresent requirements to be satisfied. We develop a principled statistical\nestimation procedure based on maximising the likelihood of the system's\nparameters, using recent ideas from statistical machine learning. We\ndemonstrate the efficacy and broad applicability of our method on a range of\nsimple but non-trivial examples, including rumour spreading in social networks\nand hybrid models of gene regulation.<\/jats:p>","DOI":"10.2168\/lmcs-11(2:3)2015","type":"journal-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T13:13:12Z","timestamp":1479733992000},"source":"Crossref","is-referenced-by-count":1,"title":["Learning and Designing Stochastic Processes from Logical Constraints"],"prefix":"10.46298","volume":"Volume 11, Issue 2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8874-4001","authenticated-orcid":false,"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sanguinetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2015,6,1]]},"reference":[{"key":"952:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1563\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1563\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:06:31Z","timestamp":1681243591000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,1]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-11(2:3)2015","relation":{"references":[{"id-type":"doi","id":"10.1016\/j.jcss.2007.07.005","asserted-by":"subject"},{"id-type":"handle","id":"20.500.11820\/50c8f25a-142c-4bf3-b03f-79495ddb9d07","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"1501.05588","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1501.05588","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2015,6,1]]},"article-number":"1563"}}