Publications
- Authors: James T. Oswald, Brandon Rozek, and Thomas M. Ferguson
- Venue: Künstliche Intelligenz (KI), 2024
- Paper | Paper
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
- Authors: Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz and Shirin Sohrabi
- Venue: AAAI Conference on Artificial Intelligence, 2024.
- Paper | Poster
Parallel Verification of Natural Deduction Proof Graphs
- Authors: James Oswald and Brandon Rozek
- Venue: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), 2023.
- Paper | Slides
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds
- Authors: S Bringsjord, JT Oswald, M Giancola, B Rozek, NS Govindarajulu
- Venue: International Conference on Artificial General Intelligence (AGI), 2023.
- Paper
CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation
- 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
- Authors: Brandon Rozek, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
- Venue: International Conference on Robot Ethics and Standards (ICRES), 2022.
- Paper
- 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
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
- 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 | Slides
Algorithmic Problems in Synthesized Cryptosystems
- Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
- Venue: International Workshop on Unification (UNIF), 2020.
- Paper
Thesis
(Undergraduate) Brandon Rozek. “Expediting Learning with Interactive Demonstrations”, University of Mary Washington, 2019.
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 | Codebase
Efficient Parallel Verification of Natural Deduction Proof Graphs
- Authors: James Oswald and Brandon Rozek
- Venue: Rensselaer Computer Science Graduate Poster Session, April 2023.
- Poster
QEP: The Quality Policy Evaluation Algorithm
Beowulf Cluster for Research and Education
- Authors: Brandon Rozek and Stefano Coronado
- Venue: Research and Creativity Day at University of Mary Washington, 2018.
- Program | Poster
Coherent Control of Atomic Population Using the Genetic Algorithm
- Venue: Summer Science Institute Research Symposium, 2017.
- Presentation
Modelling Population Dynamics of Incoherent and Coherent Excitation
- Authors: Hannah Killian and Brandon Rozek
- Venue: Virginia Academy of Science, 2017.
- Poster | Program
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