Benutzerbeiträge von „Patrick Wienhöft“

30. Oktober 2025

• 16:3916:39, 30. Okt. 2025 Unterschied Versionen −2 K Inproceedings3442 Keine Bearbeitungszusammenfassung aktuell
• 16:3816:38, 30. Okt. 2025 Unterschied Versionen +876 N Inproceedings3443 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Carlos E. |ErsterAutorNachname=Budde |FurtherAuthors=Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality |To appear=0 |Year=2025 |Month=August |Booktitle=Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint…“ aktuell
• 16:3516:35, 30. Okt. 2025 Unterschied Versionen +39 K Inproceedings3442 Keine Bearbeitungszusammenfassung
• 16:3416:34, 30. Okt. 2025 Unterschied Versionen −36 K Inproceedings3442 Keine Bearbeitungszusammenfassung
• 16:3216:32, 30. Okt. 2025 Unterschied Versionen −185 Inproceedings3442 Keine Bearbeitungszusammenfassung
• 16:3116:31, 30. Okt. 2025 Unterschied Versionen −670 Inproceedings3442 Keine Bearbeitungszusammenfassung
• 16:3116:31, 30. Okt. 2025 Unterschied Versionen +1.705 N Inproceedings3442 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tobias |ErsterAutorNachname=Meggendorfer |FurtherAuthors=Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes |To appear=0 |Year=2025 |Month=August |Booktitle=Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference…“

5. Mai 2025

• 11:4711:47, 5. Mai 2025 Unterschied Versionen +36 Inproceedings3406 Keine Bearbeitungszusammenfassung aktuell
• 11:4711:47, 5. Mai 2025 Unterschied Versionen +38 Inproceedings3407 Keine Bearbeitungszusammenfassung aktuell

2. Mai 2025

• 14:5014:50, 2. Mai 2025 Unterschied Versionen +997 Inproceedings3407 Keine Bearbeitungszusammenfassung
• 14:4714:47, 2. Mai 2025 Unterschied Versionen +31 N Inproceedings3407/en Page created automatically by parser function on page Inproceedings3407 aktuell Markierung: Neue Weiterleitung
• 14:4714:47, 2. Mai 2025 Unterschied Versionen +614 N Inproceedings3407 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Caros E. |ErsterAutorNachname=Budde |FurtherAuthors=Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=Sound Statistical Model Checking for Probabilities and Expected Rewards |To appear=0 |Year=2025 |Booktitle=LNCS |Pages=167-190 |Publisher=Springer |Editor=Arie Gurfinkel, Marijn Heule |Volume=15696 }} {{Publikation Details |ISSN=1611-3349 |Link…“

29. April 2025

• 08:0408:04, 29. Apr. 2025 Unterschied Versionen +31 N Inproceedings3406/en Page created automatically by parser function on page Inproceedings3406 aktuell Markierung: Neue Weiterleitung
• 08:0408:04, 29. Apr. 2025 Unterschied Versionen +1.882 N Inproceedings3406 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tobias |ErsterAutorNachname=Meggendorfer |FurtherAuthors=Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=Solving Robust Markov Decision Processes: Generic, Reliable, Efficient |To appear=0 |Year=2025 |Month=April |Booktitle=Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence |Pages=26631-26641 |Publisher=AAAI Press |Editor=Toby Walsh, Julie Shah, Zico Kolte…“
• 08:0408:04, 29. Apr. 2025 Unterschied Versionen 0 N Datei:34865-Article Text-38932-1-2-20250410-1.pdf Keine Bearbeitungszusammenfassung aktuell