Login / Signup
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum.
Ulrich Dorsch
Stefan Milius
Lutz Schröder
Published in:
CONCUR (2019)
Keyphrases
</>
machine learning
case study
model checking
epistemic logic
database
modal logic
data mining
worst case
expressive power
qualitative and quantitative
temporal reasoning
alternating time temporal logic