- On the computability of conditional probability Nathanael L. Ackerman Cameron E. Freer Daniel M. Roy Sat 05 July 2025
- Strategy Complexity of Buchi Objectives in Concurrent Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 April 2024
- On the Metric Temporal Logic for Continuous Stochastic Processes Mitsumasa Ikeda Yoriyuki Yamagata Takayuki Kihara Sat 25 November 2023
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games Mohan Dantam Richard Mayr Thu 13 July 2023
- Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach Fabian Zaiser Andrzej S. Murawski Luke Ong Mon 29 May 2023
- Strategy Complexity of Reachability in Countable Stochastic 2-Player Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Sat 29 October 2022
- Equivalence of Hidden Markov Models with Continuous Observations Oscar Darwin Stefan Kiefer Wed 07 October 2020
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
