Filip Cano Córdoba

2 papers · 2022–2023 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14)

Conferences

IJCAI (2)

Top co-authors

Bettina Könighofer (2) Scott J. Shapiro (1) Katrine Bjørner (1) Nicholas Shoemaker (1) Timos Antonopoulos (1) Bernhard K. Aichernig (1) Martin Tappler (1) Ruzica Piskac (1) Samuel Judson (1)

Keywords

deep reinforcement learning (1) markov decision process (1) autonomous agent (1) counterfactual reasoning (1) policy testing (1) fuzz testing (1) search-based testing (1) boundary state (1) safety testing (1) probabilistic model checking (1) intentional behavior (1)

Papers

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty IJCAI 2023

Search-Based Testing of Reinforcement Learning IJCAI 2022