Brandon Rozek

According to our database, Brandon Rozek authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning.

Brandon Rozek, Selmer Bringsjord

Künstliche Intell., August, 2024

Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals.

James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson

Künstliche Intell., August, 2024

Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract).

Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Parallel Verification of Natural Deduction Proof Graphs.

James T. Oswald, Brandon Rozek

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2023

The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds.

Selmer Bringsjord, James T. Oswald, Michael Giancola, Brandon Rozek, Naveen Sundar Govindarajulu

Proceedings of the Artificial General Intelligence - 16th International Conference, 2023

2022

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.

Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek

Proceedings of the 13th International Symposium on Games, 2022

2021

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.

Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).

Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek

Proceedings of the 34th International Workshop on Unification, 2020