conftrace_

formal synthesis

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

steady-state policy synthesis (1) multichain mdp (1) correct-by-construction design (1) runtime monitoring (1) environment assumption (1) recovery behavior (1) neural network (1) barrier certificate (1) safety controller (1) multichain markov decision process (1)

Papers

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025 Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning L4DC 2022 Steady-State Policy Synthesis in Multichain Markov Decision Processes IJCAI 2020 Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014