About Me

@article{meyerPGTGProcedurallyGeneratedGridBased2026,
 author = {Joshua Meyer and Felix Maurice Kuntz and Verena Wolf and Jörg Hoffmann and Timo P. Gros},
 journal = {Reinforcement Learning Journal},
 pages = {},
 title = {PGTG: Procedurally Generated Grid-Based Traffic Gym},
 url = {https://rlj.cs.umass.edu/2026/papers/Paper32.pdf},
 volume = {7},
 year = {2026}
}

@inproceedings{grosPyDSMCStatisticalModelChecking2025,
 author = {Timo P. Gros and Arnd Hartmanns and Ivo Hoese and Joshua Meyer and Nicola J. Müller and Verena Wolf},
 booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark},
 doi = {10.1007/978-3-032-05792-1_8},
 editor = {Pavithra Prabhakar and Andrea Vandin},
 isbn = {978-3-032-05791-4},
 month = {10},
 pages = {134-156},
 publisher = {Springer Nature, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface},
 url = {https://link.springer.com/chapter/10.1007/978-3-032-05792-1_8},
 volume = {16143},
 year = {2025}
}

@inproceedings{meyerMARSMultiSampleAllocationThrough2024,
 author = {Joshua Meyer and Alexander Rath and Ömercan Yazici and Philipp Slusallek},
 booktitle = {SIGGRAPH Asia 2024 Conference Papers. ACM SiggraphAsia (SigAsia-2024), December 3-6, Tokyo, Japan},
 doi = {10.1145/3680528.3687636},
 isbn = {9798400711312},
 month = {12},
 publisher = {Association for Computing Machinery, New York, NY, USA},
 series = {SA '24, SA '24},
 title = {MARS: Multi-sample Allocation through Russian roulette and Splitting},
 url = {https://doi.org/10.1145/3680528.3687636},
 year = {2024}
}