Showing 1–20 of 79 results
/ Date/ Name
Dec 15, 2022Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural NetworksApr 23, 2012Deterministic Automata for the (F,G)-fragment of LTLFeb 2, 2015Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision ProcessesJan 20, 2017Index appearance record for transforming Rabin automata into parity automataMay 8, 2018Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision ProcessesApr 30, 2016Linear Distances between Markov ChainsFeb 2, 2018Strategy Representation by Decision Trees in Reactive SynthesisAug 6, 2014Compositionality for Quantitative SpecificationsApr 21, 2014Probabilistic Bisimulation: Naturally on DistributionsMay 27, 2025Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety GamesJan 15, 2021dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by ExpertsSep 10, 2018Monte Carlo Tree Search for Verifying Reachability in Markov Decision ProcessesJun 29, 2018The Satisfiability Problem for Unbounded Fragments of Probabilistic CTLJul 25, 2018Continuous-Time Markov Decisions based on Partial ExplorationAug 26, 2022Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join ForcesJan 21, 2017From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity AutomataJun 4, 2013Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification TheoryJun 29, 2018LTL Store: Repository of LTL formulae from literature and case studiesSep 18, 2019Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability GamesMay 2, 2018One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata