conftrace_

superposition semantics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

process discovery (1) finite trace (1) temporal logic (1) probabilistic logic (1) uncertainty quantification (1) probabilistic inference (1)

Papers

Temporal Logics Over Finite Traces with Uncertainty AAAI 2020