policy synthesis

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 Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems L4DC 2025 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 Constrained Risk-Averse Markov Decision Processes AAAI 2021 DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning AAAI 2021 Learning to Actively Reduce Memory Requirements for Robot Control Tasks L4DC 2021 LTL-Constrained Steady-State Policy Synthesis IJCAI 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