Learning and Designing Stochastic Processes from Logical Constraints

DOI10.2168/LMCS-11(2:3)2015zbMath1391.68094OpenAlexW2404261600MaRDI QIDQ2941751

Guido Sanguinetti, Luca Bortolussi

Publication date: 25 August 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-11(2:3)2015

zbMATH Keywords

machine learningstochastic modellingstatistical model checkingtemporal logicsparameter synthesis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Temporal logic (03B44) Foundations of stochastic processes (60G05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Precise parameter synthesis for stochastic biochemical systems

This page was built for publication: Learning and Designing Stochastic Processes from Logical Constraints