Open AccessQuantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
Author(s) -
Jakob Piribauer,
Christel Baier,
Nathalie Bertrand,
Ocan Sankur
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.4230/lipics.concur.2021.7
Subject(s) - probabilistic logic , computer science , linear temporal logic , temporal logic , theoretical computer science , artificial intelligence