UNDERLINE DOI: https://doi.org/10.48448/nc4m-rn49

poster

AAAI 2023

February 10, 2023

Washington, United States

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

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

Next from AAAI 2023

Signed Laplacian Graph Neural Networks
poster

Signed Laplacian Graph Neural Networks

AAAI 2023

+1Yu Li
Yu Li and 3 other authors

10 February 2023

Similar lecture

Formally Verified Solution Methods for Markov Decision Processes
poster

Formally Verified Solution Methods for Markov Decision Processes

AAAI 2023

Maximilian Schäffeler
Maximilian Schäffeler and 1 other author

11 February 2023

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

PRESENTATIONS

  • All Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2025 Underline - All rights reserved