2 papers
cs.LO2026
Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains (Extended Version)
Jianlin Li, Nick Guo, Peter Ye +1
We reexamine the problem of verifying Markov chains with respect to step-bounded reachability probabilities. Prevailing approaches rely on encoding the state-transition matrix usin…
cs.PL2020
Handling Bidirectional Control Flow: Technical Report
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
Pressed by the difficulty of writing asynchronous, event-driven code, mainstream languages have recently been building in support for a variety of advanced control-flow features. M…