---
Title: Publications
description: Papers, Presentations, and Awards obtained
showthedate: false
aliases:
 - /research/publications
---

## Publications

[Filtering Goals of Necessity-Optimal Agents in Qualitative Possibilistic Recognition via Planning](/paper/2603.01)
- Authors: *Brandon Rozek* and Selmer Bringsjord
- Venue: International Conference on Agents and Artificial Intelligence, 2026.
- [Paper](https://doi.org/10.5220/0014347900004052) | [Paper](https://www.scitepress.org/Papers/2026/143479/143479.pdf)

[VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property](/paper/2602.01)
- Authors: *Brandon Rozek* and Andrew Tedder
- Venue: Journal of Logic, Language, and Information, 2026.
- [Paper](https://link.springer.com/article/10.1007/s10849-026-09454-2) | [Codebase](https://github.com/brandon-rozek/vspursuer)


[A Modal Logic of Optimality (Student Abstract)](/paper/2504.01)
- Authors: James T. Oswald, *Brandon Rozek*, Thomas M. Ferguson, Selmer Bringsjord
- Venue: AAAI Conference on Artificial Intelligence, 2025.
- [Paper](https://ojs.aaai.org/index.php/AAAI/article/view/35286/37441)

[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](/paper/2406.02)
- Authors: *Brandon Rozek* and Selmer Bringsjord
- Venue: International Workshop on Human-Aware and Explainable Planning (HAXP), 2024
- [Paper](https://openreview.net/pdf?id=soH9BIp0pL)

[Guiding Hierarchical Reinforcement Learning in Partially Observable Environments with AI Planning](/paper/2406.01)
- 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](https://prl-theworkshop.github.io/prl2024-icaps/papers/12.pdf)
 
[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)


Modeling 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)
