Publications
(Forthcoming) Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
- Authors: James T. Oswald, Brandon Rozek, and Thomas M. Ferguson
- Venue: Künstliche Intelligenz, 2024
- Paper to appear late 2024
(Forthcoming) Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
- Authors: Brandon Rozek and Selmer Bringsjord
- Venue: Künstliche Intelligenz, 2024
- Paper to appear late 2024
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: Logical Frameworks and Meta-Languages: Theory and Practice, 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, 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, 2022.
- Paper
- Authors: Brandon Rozek, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
- Venue: International Conference on Robot Ethics and Standards, 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, 2021.
- Paper
Papers
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, 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, 2020.
- Paper
Thesis
(Undergraduate) Brandon Rozek. “Expediting Learning with Interactive Demonstrations”, University of Mary Washington, 2019.
Presentations
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