conftrace_

policy synthesis

14 papers

Explore in graph

Co-occurring keywords

markov decision process (790) linear temporal logic (82) sparse reward (141) reinforcement learning (4352) network specification (1) configuration mining (1) specification mining (3) autonomous system (63) robust policy (24) game-theoretic approach (4)

Papers

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking AAAI 2026
Good-for-MDP State Reduction for Stochastic LTL Planning AAAI 2026
Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint) AAAI 2026
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search AAAI 2025
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments AAAI 2025
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties IJCAI 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis AAAI 2024
LTL-Constrained Steady-State Policy Synthesis IJCAI 2021
Learning to Actively Reduce Memory Requirements for Robot Control Tasks L4DC 2021
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning AAAI 2021
Constrained Risk-Averse Markov Decision Processes AAAI 2021
Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020
Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes AAAI 2020
Steady-State Policy Synthesis for Verifiable Control IJCAI 2019