Landon Taylor

According to our database, Landon Taylor authored at least 6 papers between 2022 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

Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.

Bryant Israelsen, Landon Taylor, Zhen Zhang

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks.

Landon Taylor, Bryant Israelsen, Zhen Zhang

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms.

Landon Taylor, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022