← back to search

Daniele Magazzeni

JPMorgan Chase & Co (United States) · US
🔎 Find collaborators in Artificial Intelligence · Computational Theory and Mathematics →
Search 5.9M scientists by topic, h-index, country & funding — free.
Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include AI-based Problem Solving and Planning, Logic, Reasoning, and Knowledge, Formal Methods in Verification, and Constraint Satisfaction and Optimization.
h-index
31
citations
4,179
works
193
NIH funding
—
primary concept
—
email
✉ Find email ↗

Recent publications

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
Proceedings of the AAAI Conference on Artificial Intelligence 2020cited by 35position: middledoi
Planning for Hybrid Systems via Satisfiability Modulo Theories
Journal of Artificial Intelligence Research 2020cited by 33position: middledoi
An Introduction to the Planning Domain Definition Language
Synthesis lectures on artificial intelligence and machine learning 2019cited by 115position: middledoi
An Introduction to the Planning Domain Definition Language
Synthesis lectures on artificial intelligence and machine learning 2019cited by 88position: middledoi
Automated Planning for Robotics
Annual Review of Control Robotics and Autonomous Systems 2019cited by 81position: lastdoi
Validation and Verification of Smart Contracts: A Research Agenda
Computer 2017cited by 190position: firstdoi
Opportunistic Planning in Autonomous Underwater Missions
IEEE Transactions on Automation Science and Engineering 2017cited by 37position: middledoi
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach
Proceedings of the AAAI Conference on Artificial Intelligence 2016cited by 85position: middledoi
A Compilation of the Full PDDL+ Language into SMT
Proceedings of the International Conference on Automated Planning and Scheduling 2016cited by 65position: lastdoi
Heuristic planning for PDDL+ domains
BOA (University of Milano-Bicocca) 2016cited by 35position: middle
Heuristic Planning for Hybrid Systems
Proceedings of the AAAI Conference on Artificial Intelligence 2016cited by 30position: middledoi
ROSPlan: Planning in the Robot Operating System
Proceedings of the International Conference on Automated Planning and Scheduling 2015cited by 222position: middledoi
Proceedings International Conference on Automated Planning and Scheduling, ICAPS
2015cited by 102position: middle
Toward persistent autonomous intervention in a subsea panel
Autonomous Robots 2015cited by 39position: middledoi
AUV mission control via temporal planning
2014cited by 65position: lastdoi
Planning as model checking in hybrid domains
edoc (University of Basel) 2014cited by 31position: middledoi

Grants

No grants ingested yet.

Frequent collaborators

Maria Fox · British Antarctic Survey7 papers (2014–2017)Derek Long · King's College London6 papers (2014–2017)Michael Cashmore · JPMorgan Chase & Co (United States)5 papers (2014–2020)— · 2 papers (2019–2019)Patrik Haslum · Australian National University2 papers (2019–2019)— · 2 papers (2015–2015)Bram Ridder · King's College London2 papers (2015–2017)Michael Cashmore · University of Strathclyde2 papers (2015–2015)Christian Muise · Massachusetts Institute of Technology2 papers (2019–2019)— · 2 papers (2015–2015)— · 2 papers (2015–2015)— · 2 papers (2014–2015)Narcís Palomeras · Carnegie Mellon University2 papers (2015–2015)Wiktor Piotrowski · Palo Alto Research Center2 papers (2016–2016)— · 2 papers (2016–2016)Sergiy Bogomolov · Newcastle University2 papers (2014–2015)— · 1 papers (2015–2015)— · 1 papers (2014–2014)— · 1 papers (2014–2014)— · 1 papers (2016–2016)
Looking for a research collaborator?
Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.
Find collaborators in Artificial Intelligence · Computational Theory and Mathematics →