From 8b8fd37cf6abdd318c1fc133a5ff8144d78b8c76 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sun, 28 Apr 2024 21:28:48 -0400 Subject: [PATCH] New paper --- content/publications.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/content/publications.md b/content/publications.md index c81cd31..f5e1ab1 100644 --- a/content/publications.md +++ b/content/publications.md @@ -53,6 +53,11 @@ Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01/) ## Papers +Guiding Hiearchical Reinforcement Learning in Partially Observable Environments with AI Planning +- Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi +- Venue: PRL Workshop Series, 2024 +- Paper to appear mid 2024 + [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, 2022.