Skip to content
VuFind
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Advanced
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Cover Image

Saved in:
Bibliographic Details
Main Authors: Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E., Češka, Milan, Grover, Kush, Hahn, Ernst Moritz, Hartmanns, Arnd, Israelsen, Bryant, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A., Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen
Format: Preprint
Published: 2024
Subjects:
Logic in Computer Science
Online Access:https://arxiv.org/abs/2405.13583
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Holdings
  • Description
  • Table of Contents
  • Comments
  • Similar Items
  • Staff View

Internet

https://arxiv.org/abs/2405.13583

Similar Items

  • Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
    by: Budde, Carlos E., et al.
    Published: (2024)
  • Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
    by: Budde, Carlos E., et al.
    Published: (2025)
  • Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
    by: Meggendorfer, Tobias, et al.
    Published: (2024)
  • Policies Grow on Trees: Model Checking Families of MDPs
    by: Andriushchenko, Roman, et al.
    Published: (2024)
  • Small Decision Trees for MDPs with Deductive Synthesis
    by: Andriushchenko, Roman, et al.
    Published: (2025)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs