Showing 1–20 of 162 results
/ Date/ Name
Dec 20, 2025Neural Proofs for Sound Verification and Control of Complex SystemsSep 1, 2014Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov ProcessesApr 23, 2020Bayesian Verification of Chemical Reaction NetworksJun 2, 2020Carathéodory Sampling for Stochastic Gradient DescentAug 7, 2020SafePILCO: a software tool for safe and data-efficient policy synthesisJul 9, 2020Symbolic Reachability Analysis of High Dimensional Max-Plus Linear SystemsFeb 2, 2019Certified Reinforcement Learning with Logic GuidanceFeb 9, 2021Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and PracticeJan 5, 2023Reasoning about Causality in GamesAug 23, 2013Computation of ruin probabilities for general discrete-time Markov modelsJul 21, 2014Quantitative model-checking of controlled discrete-time Markov processesDec 18, 2023Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy SynthesisMar 11, 2024Quantifying the Sensitivity of Inverse Reinforcement Learning to MisspecificationMay 14, 2024Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metricDec 20, 2017Temporal logic control of general Markov decision processes by approximate policy refinementNov 29, 2024Risk-Averse Certification of Bayesian Neural NetworksJul 11, 2023On Imperfect Recall in Multi-Agent Influence DiagramsDec 6, 2022Misspecification in Inverse Reinforcement LearningMar 23, 2023Policy Evaluation in Distributional LQRJun 14, 2024Deep Bayesian Active Learning for Preference Modeling in Large Language Models