Nils Jansen
- Safe Reinforcement Learning via Shielding under Partial Observability
2022/04/02 by Steven A. Carr, Carr, Steven, Nils Jansen +5 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Reinforcement Learning in Robotics
- Parameter Synthesis for Markov Models: Covering the Parameter Space
2019/03/16 by Sebastian Junges, Erika Ábrahám, Junges, Sebastian +11 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
2022/09/15 by Dennis C. Gross, Nils Jansen, Gross, Dennis +5 · 5 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring
2023/03/14 by Merlijn Krale, Thiago D. Simão, Krale, Merlijn +3 · 4 citations
Computer Science · #Reinforcement Learning in Robotics
- Conditioning in Probabilistic Programming
2015/04/01 by Friedrich Gretz, Nils Jansen, Gretz, Friedrich +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Conditioning in Probabilistic Programming
2018/01/03 by Federico Olmedo, Friedrich Gretz, Nils Jansen +4 · 2 citations
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems
- Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation
2022/10/02 by Yannick Hogewind, Thiago D. Simão, Hogewind, Yannick +5 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Reinforcement Learning in Robotics
- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
2024/11/18 by Marnix Suilen, Thom Badings, Suilen, Marnix +7 · 7 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #AI-based Problem Solving and Planning
- Robust Almost-Sure Reachability in Multi-Environment MDPs
2023/01/26 by Marck van der Vegt, van der Vegt, Marck, Nils Jansen +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- Global CO2-consumption by chemical weathering: What is the contribution of highly active weathering regions?
2009/08/14 by Jens Hartmann, Nils Jansen, Hans H. Dürr +2 · 1 citation
Computer Science · Earth and Planetary Sciences · Engineering · #Geochemistry and Geologic Mapping #Hydrocarbon exploration and reservoir analysis #Paleontology and Stratigraphy of Fossils
- Robust Anytime Learning of Markov Decision Processes
2022/05/31 by Marnix Suilen, Thiago D. Simão, Suilen, Marnix +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Software Reliability and Analysis Research
- Scenario-Based Verification of Uncertain MDPs
2019/12/24 by Murat Cubuktepe, Cubuktepe, Murat, Nils Jansen +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)
- Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
2024/06/02 by Thom Badings, W.J. Koops, Badings, Thom +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
2024/05/08 by Eline M. Bovy, Marnix Suilen, Bovy, Eline M. +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge
- More for Less: Safe Policy Improvement With Stronger Performance Guarantees
2023/05/13 by Patrick Wienhöft, Marnix Suilen, Wienhöft, Patrick +9 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Data Classification #Reinforcement Learning in Robotics
- Factored Online Planning in Many-Agent POMDPs
2023/12/18 by Maris F. L. Galesloot, Galesloot, Maris F. L., Thiago D. Simão +5 · 1 citation
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Data Stream Mining Techniques #FOS: Computer and information sciences #Multiagent Systems (cs.MA)
- Property-driven Causal Abstractions for Markov Decision Processes
2026/07/29 by Jule Schmidt, Maximilian Weininger, Clemens Dubslaff +2
Computer Science · #cs.AI #cs.LO