Lecture image placeholder

Premium content

Access to this content requires a subscription. You must be a premium user to view this content.

Monthly subscription - $9.99Pay per view - $4.99Access through your institutionLogin with Underline account
Need help?
Contact us
Lecture placeholder background
VIDEO DOI: https://doi.org/10.48448/yfr8-ne84

poster

AAAI 2023

February 11, 2023

Washington, United States

Formally Verified Solution Methods for Markov Decision Processes

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

Task-Adaptive Meta-Learning Framework for Advancing Spatial Generalizability
poster

Task-Adaptive Meta-Learning Framework for Advancing Spatial Generalizability

AAAI 2023

+2Zhenong JinXiaowei JiaZhexiong Liu
Zhexiong Liu and 4 other authors

11 February 2023

Similar lecture

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
poster

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

AAAI 2023

+1Alessandro AbateThom S. Badings
Thom S. Badings and 3 other authors

10 February 2023