Buchumschlag

Qualitative Analysis of $ω$-Regular Objectives on Robust MDPs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Asadi, Ali, Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Shafiee, Ali
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Solving Long-run Average Reward Robust MDPs via Stochastic Games
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2023)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
von: Asadi, Ali, et al.
Veröffentlicht: (2026)

Automated Approach for Solving Infinite-state Polynomial Reachability Games
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

PolyQEnt: A Polynomial Quantified Entailment Solver
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

On the Complexity of Discounted Robust MDPs with $L_p$ Uncertainty Sets
von: Asadi, Ali, et al.
Veröffentlicht: (2026)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
von: Asadi, Ali, et al.
Veröffentlicht: (2025)

Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
von: Asadi, Ali, et al.
Veröffentlicht: (2025)

Limit-sure reachability for small memory policies in POMDPs is NP-complete
von: Asadi, Ali, et al.
Veröffentlicht: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

Reinforcement Learning with $ω$-Regular Objectives and Constraints
von: Wagner, Dominik, et al.
Veröffentlicht: (2025)

Game Dynamics and Equilibrium Computation in the Population Protocol Model
von: Alistarh, Dan, et al.
Veröffentlicht: (2023)

Multi-Environment POMDPs with Finite-Horizon Objectives
von: Brice, Léonard, et al.
Veröffentlicht: (2026)

Reinforcement Learning with LTL and $ω$-Regular Objectives via Optimality-Preserving Translation to Average Rewards
von: Le, Xuan-Bach, et al.
Veröffentlicht: (2024)

Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms
von: Asadi, Ali, et al.
Veröffentlicht: (2024)

Explainable AI Based Diagnosis of Poisoning Attacks in Evolutionary Swarms
von: Asadi, Mehrdad, et al.
Veröffentlicht: (2025)

Nash Equilibria, Regularization and Computation in Optimal Transport-Based Distributionally Robust Optimization
von: Shafiee, Soroosh, et al.
Veröffentlicht: (2023)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Efficient Solution and Learning of Robust Factored MDPs
von: Schnitzer, Yannik, et al.
Veröffentlicht: (2025)

The Value Problem for Multiple-Environment MDPs with Parity Objective
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

FedNIA: Noise-Induced Activation Analysis for Mitigating Data Poisoning in FL
von: Hallaji, Ehsan, et al.
Veröffentlicht: (2025)

Bidding Games with Charging
von: Avni, Guy, et al.
Veröffentlicht: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

Qualitative Failures of Image Generation Models and Their Application in Detecting Deepfakes
von: Borji, Ali
Veröffentlicht: (2023)

Value Iteration with Guessing for Markov Chains and Markov Decision Processes
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Principal-Agent Reward Shaping in MDPs
von: Ben-Porat, Omer, et al.
Veröffentlicht: (2023)

Linear Equations with Min and Max Operators: Computational Complexity
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

RASR: Risk-Averse Soft-Robust MDPs with EVaR and Entropic Risk
von: Hau, Jia Lin, et al.
Veröffentlicht: (2022)

A Study on the Importance of Features in Detecting Advanced Persistent Threats Using Machine Learning
von: Hallaji, Ehsan, et al.
Veröffentlicht: (2025)

TrustChain: A Blockchain Framework for Auditing and Verifying Aggregators in Decentralized Federated Learning
von: Hallaji, Ehsan, et al.
Veröffentlicht: (2025)

Deterministic Hallucination Detection in Medical VQA via Confidence-Evidence Bayesian Gain
von: Asadi, Mohammad, et al.
Veröffentlicht: (2026)

Agent-Specific Effects: A Causal Effect Propagation Analysis in Multi-Agent MDPs
von: Triantafyllou, Stelios, et al.
Veröffentlicht: (2023)

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
von: Kazemi, Milad, et al.
Veröffentlicht: (2025)

Nasdaq-100 Companies' Hiring Insights: A Topic-based Classification Approach to the Labor Market
von: Jafari, Seyed Mohammad Ali, et al.
Veröffentlicht: (2024)

Elliptic Loss Regularization
von: Hasan, Ali, et al.
Veröffentlicht: (2025)

Learning From High-Dimensional Cyber-Physical Data Streams for Diagnosing Faults in Smart Grids
von: Hassani, Hossein, et al.
Veröffentlicht: (2023)