| Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems H Lin, C Lynch, AM Marshall, CA Meadows, P Narendran, V Ravishankar, ... International Symposium on Frontiers of Combining Systems, 253-270, 2021 | 5 | 2021 |
| Modeling Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals JT Oswald, B Rozek, TM Ferguson KI-Künstliche Intelligenz, 1-15, 2024 | 1 | 2024 |
| Spectra: an expressive STRIPS-inspired AI planner based on automated reasoning B Rozek, S Bringsjord KI-Künstliche Intelligenz, 1-9, 2024 | 1 | 2024 |
| Parallel verification of natural deduction proof graphs JT Oswald, B Rozek arXiv preprint arXiv:2311.10440, 2023 | 1 | 2023 |
| The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds S Bringsjord, JT Oswald, M Giancola, B Rozek, NS Govindarajulu International Conference on Artificial General Intelligence, 62-73, 2023 | 1 | 2023 |
| CryptoSolve: Towards a Tool for the Analysis of Cryptographic Modes of Operation D Chichester, W Du, R Kauffman, H Lin, C Lynch, AM Marshall, ... International Symposium on Games, Automata, Logic, and Formal Verification …, 2022 | 1* | 2022 |
| Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract) B Rozek, J Lee, H Kokel, M Katz, S Sohrabi Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23635 …, 2024 | | 2024 |
| Initial Steps in Planning under Qualitative Uncertainty B Rozek, S Bringsjord ICAPS 2024 Workshop on Human-Aware Explainable Planning, 2024 | | 2024 |
| Efficient Parallel Verification of Natural Deduction Proof Graphs J Oswald, B Rozek | | 2023 |
| A framework for testimony-infused automated adjudicative dynamic multi-agent reasoning in ethically charged scenarios B Rozek, M Giancola, S Bringsjord, NS Govindarajulu International Conference on Robot Ethics and Standards, 47-66, 2022 | | 2022 |
| Algorithmic Problems in Synthesized Cryptosystems AM Marshall, CA Meadows, P Narendran, V Ravishankar, B Rozek International Workshop on Unification, 58-63, 2020 | | 2020 |
| Expediting Learning with Interactive Demonstrations B Rozek University of Mary Washington, 2019 | | 2019 |
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil