--- Title: Publications description: Papers, Presentations, and Awards obtained showthedate: false aliases: - /research/publications --- ## Publications [Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals](/paper/2405.02) - Authors: James T. Oswald, *Brandon Rozek*, and Thomas M. Ferguson - Venue: Künstliche Intelligenz (KI), 2024 - [Paper](https://link.springer.com/article/10.1007/s13218-024-00848-7) | [Paper](https://rdcu.be/dIW21) [Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning](/paper/2405.01) - Authors: *Brandon Rozek* and Selmer Bringsjord - Venue: Künstliche Intelligenz (KI), 2024 - [Paper](https://link.springer.com/article/10.1007/s13218-024-00847-8) | [Paper](https://rdcu.be/dIJ7F) [Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)](/paper/2403.01) - Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz and Shirin Sohrabi - Venue: AAAI Conference on Artificial Intelligence, 2024. - [Paper](https://ojs.aaai.org/index.php/AAAI/article/view/30504/32640) | [Poster](/files/research/AAAI_Remote_Poster_Rozek24.pdf) [Parallel Verification of Natural Deduction Proof Graphs](/paper/2311.01/) - Authors: James Oswald and *Brandon Rozek* - Venue: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), 2023. - [Paper](https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LFMTP23.4.pdf) | [Slides](/files/slides/lfmtp23.pdf) [The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01/) - Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu - Venue: International Conference on Artificial General Intelligence (AGI), 2023. - [Paper](http://kryten.mm.rpi.edu/M_launch.pdf) [CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation](/paper/2209.01/) - Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, *B Rozek*. - Venue: International Symposium on Games, Automata, Logic, and Formal Verification (GandALF), 2022. - [Paper](https://cgi.cse.unsw.edu.au/~eptcs/Published/GandALF2022/Proceedings.pdf#page=157) [A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios](/paper/2207.01/) - Authors: *Brandon Rozek*, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu - Venue: International Conference on Robot Ethics and Standards (ICRES), 2022. - [Paper](https://www.clawar.org/icres2022/wp-content/uploads/2022/07/ICRES2022-Proceedings-manuscript.pdf#page=61) [Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01/) - Authors: Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, *Brandon Rozek* - Venue: International Symposium on Frontiers of Combining Systems (FROCOS), 2021. - [Paper](https://link.springer.com/chapter/10.1007/978-3-030-86205-3_14) ## Papers Initial Steps in Planning under Qualitative Uncertainty - Authors: *Brandon Rozek* and Selmer Bringsjord - Venue: International Workshop on Human-Aware and Explainable Planning (HAXP), 2024 - Paper to appear mid 2024 Guiding Hiearchical Reinforcement Learning in Partially Observable Environments with AI Planning - Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi - Venue: International Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2024 - Paper to appear mid 2024 [CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms](/paper/2203.01/) - Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, *B Rozek* - Venue: International Workshop on Rewriting Logic and its Applications (WRLA), 2022. - [Paper](http://sv.postech.ac.kr/wrla2022/assets/files/pre-proceedings-WRLA2022.pdf#page=12) | [Slides](/files/slides/wrla2022-slides.pdf) [Algorithmic Problems in Synthesized Cryptosystems](/paper/2006.01/) - Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, *Brandon Rozek* - Venue: International Workshop on Unification (UNIF), 2020. - [Paper](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58) ## Thesis (Undergraduate) [Brandon Rozek. "Expediting Learning with Interactive Demonstrations", University of Mary Washington, 2019.](https://scholar.umw.edu/student_research/305/) ## Presentations VSPursuer: A VSP Verification Tool for MaGIC - Authors: *Brandon Rozek* and Andrew Tedder - Venue: International Workshop on Variable Sharing Properties and Their Discontents, November 2024. - [Program](https://rairlab.github.io/vsp/#brandon) | [Codebase](https://github.com/Brandon-Rozek/vspursuer) Efficient Parallel Verification of Natural Deduction Proof Graphs - Authors: James Oswald and *Brandon Rozek* - Venue: Rensselaer Computer Science Graduate Poster Session, April 2023. - [Poster](/files/research/PV-Poster.pdf) QEP: The Quality Policy Evaluation Algorithm - Venue: Research and Creativity Day at University of Mary Washington, 2019. - [Program](/files/research/UMW-RC-2019.pdf#page=3) | [Slides](/files/research/QEP.pptx) Beowulf Cluster for Research and Education - Authors: *Brandon Rozek* and Stefano Coronado - Venue: Research and Creativity Day at University of Mary Washington, 2018. - [Program](/files/research/UMW-RC-2018.pdf#page=7) | [Poster](/files/research/LUNACposter.pdf) Coherent Control of Atomic Population Using the Genetic Algorithm - Venue: Summer Science Institute Research Symposium, 2017. - [Presentation](/files/research/coherentcontrolofatomicpopulation.pdf) Modelling Population Dynamics of Incoherent and Coherent Excitation - Authors: Hannah Killian and *Brandon Rozek* - Venue: Virginia Academy of Science, 2017. - [Poster](/files/research/modellingpopulationdynamics.pdf) | [Program](/files/research/VAS-Proceedings-95-2017.pdf#page=6) Modeling Population Dynamics of Incoherent and Coherent Excitation - Authors: Hannah Killian and *Brandon Rozek* - Venue: Research and Creativity Day at University of Mary Washington, 2017. - [Program](/files/research/UMW-RC-2017.pdf#page=14) ## Awards [National Defense Science and Engineering Graduate (NDSEG) Fellowship, 2022-2025 (Tuition Support/$3400 per month stipend/$5000 Travel Fund/$1500 Personal Development Fund)](https://ndseg.org/2022-class-fellows) [Clare Arrington, Maia Magrakvilidze, Ethan Ramirez, **Brandon Rozek** "High Performance Cluster System for Research and Education", University of Mary Washington, 2017-2018 School Year ($3500)](https://cas.umw.edu/wp-content/blogs.dir/51/files/2018/10/Fall-2017-Awards.pdf)