Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·7h
Loading...Loading more...
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning