Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
DOI10.1007/978-3-319-66335-7_22zbMath1420.68133OpenAlexW2785236715WikidataQ124438967 ScholiaQ124438967MaRDI QIDQ5194934
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi, Glenn Marion
Publication date: 17 September 2019
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/38211096/FinalQESTLudovica.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
