Alberto Pozanco

Identifiers

• name variant Alberto Pozanco 0.60 · backfill

Papers (5)

1. Cycle-Consistent Neural Explanation of Formal Verification Certificates cs.AI · 2026 · author #2
2. Counterfactual Reasoning in Automated Planning cs.AI · 2026 · author #1
3. Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable cs.AI · 2026 · author #1
4. Semantic Partial Grounding via LLMs cs.AI · 2026 · author #2
5. Planning with Minimal Disruption cs.AI · 2025 · author #1

Mentions

• 2606.24414 #2 · arxiv_oai · confidence 0.70 Alberto Pozanco
• 2602.22067 #2 · arxiv_oai · confidence 0.70 Alberto Pozanco

Frequent Coauthors

• Daniel Borrajo 5 shared papers
• Manuela Veloso 2 shared papers
• Marianela Morales 2 shared papers
• Andoni Rodriguez 1 shared papers
• Giuseppe Canonaco 1 shared papers
• Pietro Totis 1 shared papers