From cbbf3eafd0f858b8d72410aba121f4b648a3e089 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Tue, 30 Apr 2024 15:52:08 -0400 Subject: [PATCH] Paper updates --- content/publications.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/content/publications.md b/content/publications.md index f5e1ab1..95620a8 100644 --- a/content/publications.md +++ b/content/publications.md @@ -53,9 +53,14 @@ Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01/) ## 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: PRL Workshop Series, 2024 +- 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](/paper/2203.01/)