Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Efficient Sensitivity Analysis for Parametric Robust Markov Chains


May 01, 2023
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

Add code

* To be presented at CAV 2023 

   Access Paper or Ask Questions

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking


Sep 15, 2022
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Perez

Add code


   Access Paper or Ask Questions

Abstraction-Refinement for Hierarchical Probabilistic Models


Jun 06, 2022
Sebastian Junges, Matthijs T. J. Spaan

Add code

* Extended submitted version for CAV 2022 

   Access Paper or Ask Questions

Safe Reinforcement Learning via Shielding for POMDPs


Apr 02, 2022
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

Add code

* 15 pages, 15 Figures, 6 Tables 

   Access Paper or Ask Questions

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation


Dec 01, 2021
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Add code

* pre-print 

   Access Paper or Ask Questions

Convex Optimization for Parameter Synthesis in MDPs


Jun 30, 2021
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Add code

* Submitted to IEEE TAC 

   Access Paper or Ask Questions

Runtime Monitoring for Markov Decision Processes


May 26, 2021
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia

Add code

* Technical report with appendix. Accepted at CAV 

   Access Paper or Ask Questions

Entropy-Guided Control Improvisation


Mar 09, 2021
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia

Add code


   Access Paper or Ask Questions

Inductive Synthesis for Probabilistic Programs Reaches New Horizons


Jan 29, 2021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

Add code

* Full version of TACAS'21 submission 

   Access Paper or Ask Questions

Robust Finite-State Controllers for Uncertain POMDPs


Sep 24, 2020
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu

Add code


   Access Paper or Ask Questions

1
2
>>