conftrace_

safe ai

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

controller verification (1) risk-aware decision making (1) autonomous system (1) stochastic game (1) deep neural network (1) markov decision process (1) formal verification (1) policy optimization (1) probabilistic modeling (1)

Papers

A Rigorous Risk-aware Linear Approach to Extended Markov Ratio Decision Processes with Embedded Learning IJCAI 2023 Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games AAAI 2023