Nicholas Shoemaker

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Multiagent Systems

Autonomous Agents

Coalition Formation

Top Venues

Publications

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. CoRR (2023)
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. IJCAI (2023)
Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
Formal XAI via Syntax-Guided Synthesis. AISoLA (2023)
Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH (2020)