Daniele Magazzeni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
11
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SoCS | Hierarchical Seating Allocation (Extended Abstract). | Anton Ipsen, Michael Cashmore, Parisa Zehtabi, Nicolas Marchesotti, Kirsty Fielding, Daniele Magazzeni, Manuela Veloso |
| 2024 | AAAI | SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-K Features. | Sanjay Kariyappa, Leonidas Tsepenekas, Freddy Lcu, Daniele Magazzeni |
| 2024 | AAAI | Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates. | Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso |
| 2024 | AIES | PICE: Polyhedral Complex Informed Counterfactual Explanations. | Mattia Jacopo Villani, Emanuele Albini, Shubham Sharma, Saumitra Mishra, Salim Ibrahim Amoukou, Daniele Magazzeni, Manuela Veloso |
| 2024 | ECAI | Temporal Fairness in Decision Making Problems. | Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso |
| 2024 | ICML | Counterfactual Metarules for Local and Global Recourse. | Tom Bewley, Salim I. Amoukou, Saumitra Mishra, Daniele Magazzeni, Manuela Veloso |
| 2024 | ICML | Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions. | Sanjay Kariyappa, Freddy Lcu, Saumitra Mishra, Christopher Pond, Daniele Magazzeni, Manuela Veloso |
| 2024 | IJCAI | Are Logistic Models Really Interpretable? | Danial Dervovic, Freddy Lcu, Nicolas Marchesotti, Daniele Magazzeni |
| 2023 | AIES | On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations. | Emanuele Albini, Shubham Sharma, Saumitra Mishra, Danial Dervovic, Daniele Magazzeni |
| 2023 | AIES | REFRESH: Responsible and Efficient Feature Reselection guided by SHAP values. | Shubham Sharma, Sanghamitra Dutta, Emanuele Albini, Freddy Lcu, Daniele Magazzeni, Manuela Veloso |
| 2023 | AISTATS | Bayesian Hierarchical Models for Counterfactual Estimation. | Natraj Raman, Daniele Magazzeni, Sameena Shah |
| 2023 | ICML | Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. | Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta |
| 2023 | ICML | GLOBE-CE: A Translation Based Approach for Global Counterfactual Explanations. | Dan Ley, Saumitra Mishra, Daniele Magazzeni |
| 2023 | IJCAI | A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract). | Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni |
| 2022 | AAAI | Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction. | Marc Rigter, Danial Dervovic, Parisa Hassanzadeh, Jason Long, Parisa Zehtabi, Daniele Magazzeni |
| 2022 | ICML | Robust Counterfactual Explanations for Tree-Based Ensembles. | Sanghamitra Dutta, Jason Long, Saumitra Mishra, Cecilia Tilli, Daniele Magazzeni |
| 2021 | ICRA | Towards providing explanations for robot motion planning. | Martim Brando, Gerard Canal, Senka Krivic, Daniele Magazzeni |
| 2021 | TIME | Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2020 | AAAI | A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. | Rebecca Eifler, Michael Cashmore, Jrg Hoffmann, Daniele Magazzeni, Marcel Steinmetz |
| 2020 | AAAI | Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. | Jrg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni |
| 2020 | IROS | Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. | Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan |
| 2019 | AAAI | Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2018 | IROS | Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. | Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder |
| 2017 | AAAI | Initial State Prediction in Planning. | Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sndor Szedmk, Justus H. Piater |
| 2017 | AAAI | PDDL+ Planning with Temporal Pattern Databases. | Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio |
| 2017 | IJCAI | Decreasing Uncertainty in Planning with State Prediction. | Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sndor Szedmk, Justus H. Piater |
| 2017 | IJCAI | Landmarks for Numeric Planning Problems. | Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thibaux |
| 2016 | AAAI | A Compilation of the Full PDDL+ Language into SMT. | Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni |
| 2016 | AAAI | Heuristic Planning for Hybrid Systems. | Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio |
| 2016 | AAAI | Heuristic Planning for PDDL+ Domains. | Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio |
| 2016 | AAAI | Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. | Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Luks Chrpa, Thomas Leo McCluskey |
| 2016 | ECAI | Planning Using Actions with Control Parameters. | Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni |
| 2016 | IJCAI | Heuristic Planning for PDDL+ Domains. | Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio |
| 2014 | AAAI | Planning as Model Checking in Hybrid Domains. | Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle |
| 2014 | ICRA | AUV mission control via temporal planning. | Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni |
| 2011 | ICINCO | Cost-optimal Strong Planning in Non-deterministic Domains. | Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci |
| 2011 | IJCAI | Automatic Construction of Efficient Multiple Battery Usage Policies. | Maria Fox, Derek Long, Daniele Magazzeni |
| 2008 | ICINCO | OBDD Compression of Numerical Controllers. | Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila |
| 2006 | ICINCO | Automatic generation of optimal controllers through model checking techniques. | Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci |