Probabilistic Temporal Logics

Dragan Doder, Aleksandar Perovic

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageEnglish
Title of host publicationProbabilistic Extensions of Various Logical Systems
EditorsZoran Ognjanovic
PublisherSpringer
Pages71
Number of pages108
ISBN (Electronic)978-3-030-52954-3
ISBN (Print)978-3-030-52953-6
Publication statusPublished - 2020

Cite this