Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
IJCAI 2024（2024）
Key words
Agent-based and Multi-agent Systems -> MAS: Formal verification, validation and synthesis,Agent-based and Multi-agent Systems -> MAS: Trust and reputation,Planning and Scheduling -> PS: Markov decisions processes,Planning and Scheduling -> PS: Planning under uncertainty
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined