Joshua Jeppson

According to our database, Joshua Jeppson authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces.

Joshua Jeppson, Landon Taylor, Bingqing Hu, Zhen Zhang

CoRR, July, 2025

2024

Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

CoRR, 2024

2023

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

Proceedings of the TOOLympics Challenge 2023, 2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023