Piskac, Ruzica

2 publications

IJCAI 2023 Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer

AAAI 2020 Grammar Filtering for Syntax-Guided Synthesis Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito