edoc

Items where Division is "05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Creators | Refereed
Jump to: A | B | C | D | E | F | G | H | K | L | M | N | O | P | R | S | T | W
Number of items at this level: 182.

A

Abdulaziz, Mohammad and Pommerening, Florian and Corrêa, Augusto B.. (2022) Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work. ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). Proceedings.

Alkhazraji, Yusra and Wehrle, Martin. (2016) Sleep Sets Meet Duplicate Elimination. In: Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016).

Andisha, Ahmad Siyar and Wehrle, Martin and Westphal, Bernd. (2015) Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. In: Model checking software : 22nd international symposium, SPIN 2015). Cham, pp. 153-159.

Alkhazraji, Yusra and Katz, Michael and Mattmüller, Robert and Pommerening, Florian and Shleyfman, Alexander and Wehrle, Martin. (2014) Metis: Arming Fast Downward with Pruning and Incremental Computation. Eighth International Planning Competition (IPC 2014), Deterministic Part. pp. 88-92.

Arlt, Stephan and Podelski, Andreas and Wehrle, Martin. (2014) Reducing GUI test suites via program slicing. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA '14). New York, pp. 270-281.

Alkhazraji, Yusra and Wehrle, Martin and Mattmüller, Robert and Helmert, Malte. (2012) A stubborn set algorithm for optimal planning. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012). [s.l.], pp. 891-892.

B

Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023.

Büchner, Clemens and Christen, Remo and Eriksson, Salomé and Keller, Thomas. (2023) DALAI - Disjunctive Action Landmarks All In.

Büchner, Clemens and Keller, Thomas and Eriksson, Salomé and Helmert, Malte. (2023) Landmark Progression in Heuristic Search. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 70-79.

Biedenkapp, André and Speck, David and Sievers, Silvan and Hutter, Frank and Lindauer, Marius and Seipp, Jendrik. (2022) Learning Domain-Independent Policies for Open List Selection. In: PRL 2022: Proceedings of the PRL Workshop - Bridging the Gap Between AI Planning and Reinforcement Learning. pp. 1-10.

Büchner, Clemens and Keller, Thomas and Helmert, Malte. (2021) Exploiting Cyclic Dependencies in Landmark Heuristics. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 65-73.

Bonet, Blai and Francès, Guillem and Geffner, Héctor. (2019) Learning Features and Abstract Actions for Computing Generalized Plans. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence.

Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2016) Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions. International journal on software tools for technology transfer, 18 (4). pp. 449-467.

Bogomolov, Sergiy and Magazzeni, Daniele and Minopoli, Stefano and Wehrle, Martin. (2015) PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 42-46.

Bogomolov, Sergiy and Magazzeni, Daniele and Podelski, Andreas and Wehrle, Martin. (2014) Planning as model checking in hybrid domains. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2228-2234.

Bogomolov, Sergiy and Donzé, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T. and Ladan, Hamed: Podelski and Andreas: Wehrle, Martin. (2013) Abstraction-based guided search for hybrid systems. In: Model checking software : proceedings of the 20th international SPIN symposium on model checking of software (SPIN 2013). Heidelberg, pp. 117-134.

Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2012) A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Computer Aided Verification : 24th International Conference (CAV 2012). Belin, pp. 479-494.

C

Christen, Remo and Eriksson, Salomé and Pommerening, Florian and Helmert, Malte. (2022) Detecting Unsolvability Based on Separating Functions. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). Palo Alto, California USA, pp. 44-52.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2022) The FF Heuristic for Lifted Classical Planning. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. Palo Alto, California USA, pp. 9716-9723.

Corrêa, Augusto B. and Seipp, Jendrik. (2022) Best-First Width Search for Lifted Classical Planning. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 32. Palo Alto, California USA, pp. 11-15.

Corrêa, Augusto B. and Francès, Guillem and Pommerening, Florian and Helmert, Malte. (2021) Delete-Relaxation Heuristics for Lifted Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 94-102.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2020) Lifted Successor Generation using Query Optimization Techniques. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 80-89.

Coles, Amanda and Coles, Andrew and Martínez, Moisés and Savas, Emre and Keller, Thomas and Pommerening, Florian and Helmert, Malte. (2019) On-board Planning for Robotic Space Missions using Temporal PDDL. In: Proceedings of the 11th International Workshop on Planning and Scheduling for Space (IWPSS). pp. 1-9.

Corrêa, Augusto B. and Pommerening, Florian. (2019) An Empirical Study of Perfect Potential Heuristics. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 29. pp. 114-118.

Cui, Hao and Keller, Thomas and Khardon, Roni. (2019) Stochastic Planning with Lifted Symbolic Trajectory Optimization. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling. pp. 119-127.

Corrêa, Augusto B. and Pommerening, Florian and Francès, Guillem. (2018) Relaxed Decision Diagrams for Delete-Free Planning. Proceedings of the CP 2018 Workshop on Constraints and AI Planning (ConsAIPlan 2018).

Claßen, Jens and Röger, Gabriele and Lakemeyer, Gerhard and Nebel, Bernhard. (2012) PLATAS – Integrating Planning and the Action Language Golog. KI – Künstliche Intelligenz, 26 (1). pp. 61-67.

D

Drexler, Dominik and Seipp, Jendrik and Speck, David. (2021) Subset-Saturated Transition Cost Partitioning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 131-139.

Domshlak, Carmel and Helmert, Malte and Karpas, Erez and Keyder, Emil and Richter, Silvia and Röger, Gabriele and Seipp, Jendrik and Westphal, Matthias. (2011) BJOLP: the Big Joint Optimal Landmarks Planner. [S.l.].

E

Eriksson, Salomé and Helmert, Malte. (2020) Certified Unsolvability for SAT Planning with Property Directed Reachability. In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 90-100.

Eriksson, Salomé. Certifying planning systems : witnesses for unsolvability. 2019, Doctoral Thesis, University of Basel, Faculty of Science.

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2018) A Proof System for Unsolvable Planning Tasks. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 65-73.

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2018) Inductive Certificates of Unsolvability for Domain-Independent Planning. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. pp. 5244-5248.

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2017) Unsolvability Certificates for Classical Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Eyerich, Patrick and Helmert, Malte. (2013) Stronger abstraction heuristics through perimeter search. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 303-307.

F

Ferber, Patrick and Cohen, Liat and Seipp, Jendrik and Keller, Thomas. (2022) Learning and Exploiting Progress States in Greedy Best-First Search. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. pp. 4740-4746.

Ferber, Patrick and Geißer, Florian and Trevizan, Felipe and Helmert, Malte and Hoffmann, Jörg. (2022) Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 583-587.

Ferber, Patrick and Seipp, Jendrik. (2022) Explainable Planner Selection for Classical Planning. In: The Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). pp. 9741-9749.

Ferber, Patrick Christoph. Machine Learning for Classical Planning: Neural Network Heuristics, Online Portfolios, and State Space Topologies. 2022, Doctoral Thesis, University of Basel, Faculty of Science.

Ferber, Patrick and Geißer, Florian and Trevizan, Felipe and Helmert, Malte and Hoffmann, Jörg. (2021) Neural Network Heuristic Functions for Classical Planning: Reinforcement Learning and Comparison to Other Methods. PRL Workshop – Bridging the Gap Between AI Planning and Reinforcement Learning.

Ferber, Patrick. (2020) Simplified Planner Selection. Proceedings of the 12th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). pp. 102-110.

Ferber, Patrick and Helmert, Malte and Hoffmann, Jörg. (2020) Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space. In: 24th European Conference on Artificial Intelligence, 29 August–8 September 2020, 325. pp. 2346-2353.

Ferber, Patrick and Helmert, Malte and Hoffmann, Jörg. (2020) Reinforcement Learning for Planning Heuristics. Proceedings of the 1st Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). pp. 119-126.

Ferber, Patrick and Seipp, Jendrik. (2020) Explainable Planner Selection. In Proceedings of the International Workshop of Explainable AI Planning (XAIP).

Ferber, Patrick and Ma, Tengfei and Huo, Siyu and Chen, Jie and Katz, Michael. (2019) IPC: A Benchmark Data Set for Learning with Graph-Structured Data. Proceedings in the ICML 2019 Workshop on Learning and Reasoning with Graph-Structured Representations.

Francès Medina, Guillem and Corrêa, Augusto B. and Geissmann, Cedric and Pommerening, Florian. (2019) Generalized Potential Heuristics for Classical Planning. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. pp. 5554-5561.

Francès, Guillem and Geffner, Héctor and Lipovetzky, Nir and Ramírez, Miquel. (2018) Best-First Width Search in the IPC 2018: Complete, Simulated, and Polynomial Variants (planner abstract). Ninth International Planning Competition (IPC 2018), Deterministic Part.

G

Gnad, Daniel and Sievers, Silvan and Torralba, Álvaro. (2023) Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 138-147.

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

Geißer, Florian and Speck, David and Keller, Thomas. (2020) Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces. In: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020). pp. 38-47.

Geißer, Florian and Speck, David and Keller, Thomas. (2019) An Analysis of the Probabilistic Track of the IPC 2018. In: Proceedings of the 2019 Workshop on the International Planning Competition. pp. 27-35.

Gnad, Daniel and Hoffmann, Jörg and Wehrle, Martin. (2019) Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. Journal of Artificial Intelligence Research, 65. pp. 343-392.

Geißer, Florian and Keller, Thomas and Mattmüller , Robert. (2016) Abstractions for Planning with State-Dependent Action Costs. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). pp. 140-148.

Gnad, Daniel and Torralba, Álvaro and Hoffmann, Jörg and Wehrle, Martin. (2016) Decoupled Search for Proving Unsolvability (planner abstract).

Gnad, Daniel and Wehrle, Martin and Hoffmann, Jörg. (2016) Decoupled Strong Stubborn Sets. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3110-3116.

H

Heller, Silvan. Temporal multimodal video and lifelog retrieval. 2023, Doctoral Thesis, University of Basel, Faculty of Science.

Heller, Daniel and Ferber, Patrick and Bitterwolf, Julian and Hein, Matthias and Hoffmann, Jörg. (2022) Neural Network Heuristic Functions: Taking Confidence into Account. In: Proceedings of the Fifteenth International Symposium on Combinatorial Search (SoCS2022). pp. 223-228.

Helmert, Malte and Sievers, Silvan and Rovner, Alexander and Corrêa, Augusto B.. (2022) On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 124-133.

Hoffmann, Jörg and Helmert, Malte and Gnad, Daniel and Pommerening, Florian. (2020) Planen. In: Handbuch der Künstlichen Intelligenz. Berlin, pp. 395-427.

Heinz, Alexander and Wehrle, Martin and Bogomolov, Sergiy and Magazzeni, Daniele and Greitschus, Marius and Podelski, Andreas. (2019) Temporal Planning as Refinement-Based Model Checking. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling. pp. 195-199.

Helmert, Malte and Lattimore, Tor and Lelis, Levi H. S. and Orseau, Laurent and Sturtevant, Nathan R.. (2019) Iterative Budgeted Exponential Search. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. pp. 1249-1257.

Heusner, Manuel. Search behavior of greedy best-first search. 2019, Doctoral Thesis, University of Basel, Faculty of Science.

Heusner, Manuel and Keller, Thomas and Helmert, Malte. (2018) Best-Case and Worst-Case Behavior of Greedy Best-First Search. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence. pp. 1463-1470.

Heusner, Manuel and Keller, Thomas and Helmert, Malte. (2018) Search Progress and Potentially Expanded States in Greedy Best-First Search. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence. pp. 5269-5273.

Helmert, Malte and Sturtevant, Nathan R. and Felner, Ariel. (2017) On Variable Dependencies and Compressed Pattern Databases. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017).

Heusner, Manuel and Keller, Thomas and Helmert, Malte. (2017) Understanding the Search Behaviour of Greedy Best-First Search. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017). Palo Alto, California.

Helmert, Malte and Röger, Gabriele and Sievers, Silvan. (2015) On the expressive power of non-linear Merge-and-Shrink representations. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 106-114.

Holte, Robert C. and Alkhazraji, Yusra and Wehrle, Martin. (2015) A generalization of sleep sets based on operator sequence redundancy. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3291-3297.

Helmert, Malte and Haslum, Patrik and Hoffmann, Joerg and Nissim, Raz. (2014) Merge-and-shrink abstraction : a method for generating lower bounds in factored state spaces. Journal of the ACM, Vol. 61, H. 3 , no. 16. pp. 1-63.

Heusner, Manuel and Wehrle, Martin and Pommerening, Florian and Helmert, Malte. (2014) Under-Approximation Refinement for Classical Planning. In: Proceedings of ICAPS 2014, the 24th International Conference on Automated Planning and Scheduling. Palo Alto, Calif., pp. 365-369.

Haslum, Patrik and Helmert, Malte and Jonsson, Anders. (2013) Safe, strong and tractable relevance analysis for planning. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 317-321.

K

Klößner, Thorsten and Torralba, Álvaro and Steinmetz, Marcel and Sievers, Silvan. (2023) A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 203-211.

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan. (2023) CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions.

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan and Helmert, Malte. (2023) Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 221-226.

Katz, Michael and Röger, Gabriele and Helmert, Malte. (2022) On Producing Shortest Cost-Optimal Plans. In: Proceedings of the Fifteenth International Symposium on Combinatorial Search (SoCS 2022). pp. 100-108.

Klößner, Thorsten and Pommerening, Florian and Keller, Thomas and Röger, Gabriele. (2022) Cost Partitioning Heuristics for Stochastic Shortest Path Problems. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 193-202.

Katz, Michael and Keyder, Emil and Pommerening, Florian and Winterer, Dominik. (2019) Oversubscription Planning as Classical Planning with Multiple Cost Functions. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 237-245.

Katz, Michael and Mirkis, Vitaly and Pommerening, Florian and Winterer, Dominik. (2018) Reformulating Oversubscription Planning Tasks. In: Proceedings of the 10 th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). Delft, pp. 81-88.

Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Sievers, Silvan. (2018) Delfi: Online Planner Selection for Cost-Optimal Planning (planner abstract). Ninth International Planning Competition (IPC 2018).

Keller, Thomas and Pommerening, Florian and Seipp, Jendrik and Geißer, Florian and Mattmüller, Robert. (2016) State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, pp. 3161-3169.

Keller, Thomas and Helmert, Malte. (2013) Trial-based heuristic tree search for finite horizon MDPs. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 135-143.

Katz, Michael and Hoffmann, Jörg and Helmert, Malte. (2012) How to relax a bisimulation? In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 101-109.

L

Löhr, Johannes and Wehrle, Martin and Fox, Maria and Nebel, Bernhard. (2014) Symbolic domain predictive control. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2315-2321.

López, Carlos Linares and Jiménez, Sergio and Helmert, Malte. (2013) Automating the evaluation of planning systems. AI communications, Vol. 26, H. 4. pp. 331-354.

M

Mugdan, Esther and Christen, Remo and Eriksson, Salomé. (2023) Optimality Certificates for Classical Planning. In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. Palo Alto, California USA, pp. 286-294.

Muise, Christian and Pommerening, Florian and Seipp, Jendrik and Katz, Michael. (2022) Planutils: Bringing Planning to the Masses. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

Ma, Tengfei and Ferber, Patrick and Huo, Siyu and Chen, Jie and Katz, Michael. (2020) Online Planner Selection with Graph Neural Networks and Adaptive Scheduling. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), 34. pp. 5077-5084.

N

Nissim, Raz and Hoffmann, Jörg and Helmert, Malte. (2011) Computing perfect heuristics in polynomial time : on bisimulation and merge-and-shrink abstractions in optimal planning. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011). Menlo Park (Calif.), pp. 1983-1990.

O

Ocón, Jorge and Buckley, Karl and Colmenero, Francisco and Bensalem, Saddek and Dragomir, Iulia and Karachalios, Spyros and Woods, Mark and Pommerening, Florian and Keller, Thomas. (2018) Using the ERGO Framework in a Planetary and an Orbital Scenario. In: Proceedings of the 14th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2018).

Ocón, Jorge and Colmenero, Francisco and Estremera, Joaquin and Buckley, Karl and Alonso, Mercedes and Heredia, Enrique and Garcia, Javier and Coles, Andrew and Coles, Amanda and Martinez Munoz, Moises and Savas, Emre and Pommerening, Florian and Keller, Thomas and Karachalios, Spyros and Woods, Mark and Dragomir, Iulia and Bensalem, Saddek and Dissaux, Pierre and Schach, Arnaud. (2018) The ERGO Framework and its Use in Planetary/Orbital Scenarios. In: Proceedings of the 69th International Astronautical Congress (IAC 2018).

Ocón, Jorge and Delfa, Juan Manuel and Medina, Alberto and Lachat, Daisy and Marc, Robert and Woods, Mark and Wallace, Ian and Coles, Andrew and Coles, Amanda and Long, Derek and Keller, Thomas and Helmert, Malte and Bensalem, Saddek. (2017) ERGO: A Framework for the Development of Autonomous Robots. In: Proceedings of the 14th ESA Symposium on Advanced Space Technologies for Robotics and Automation (ASTRA 2017).

P

Pommerening, Florian and Keller, Thomas and Halasi, Valentina and Seipp, Jendrik and Sievers, Silvan and Helmert, Malte. (2021) Dantzig-Wolfe Decomposition for Cost Partitioning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 271-280.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Cambazard, Hadrien and Rousseau, Louis-Martin and Salvagnin, Domenico. (2020) Lagrangian Decomposition for Classical Planning (Extended Abstract). In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). pp. 4770-4774.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Cambazard, Hadrien and Rousseau, Louis-Martin and Salvagnin, Domenico. (2019) Lagrangian Decomposition for Optimal Cost Partitioning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 338-347.

Paul, Gerald and Röger, Gabriele and Keller, Thomas and Helmert, Malte. (2017) Optimal Solutions to Large Logistics Planning Domain Problems. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017).

Pommerening, Florian. New perspectives on cost partitioning for optimal classical planning. 2017, Doctoral Thesis, University of Basel, Faculty of Science.

Pommerening, Florian and Helmert, Malte and Bonet, Blai. (2017) Abstraction Heuristics, Cost Partitioning and Network Flows. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Pommerening, Florian and Helmert, Malte and Bonet, Blai. (2017) Higher-Dimensional Potential Heuristics for Optimal Classical Planning. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017). pp. 3636-3643.

Paul, Gerald and Helmert, Malte. (2016) Optimal Solitaire Game Solutions using A* Search and Deadlock Analysis. In: Proceedings of the Ninth Annual Symposium on Combinatorial Search (SoCS 2016). pp. 135-136.

Pommerening, Florian and Seipp, Jendrik. (2016) Fast Downward Dead-End Pattern Database (planner abstract). First Unsolvability International Planning Competition (UIPC 2016).

Pommerening, Florian and Helmert, Malte. (2015) A Normal Form for Classical Planning Tasks. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 188-192.

Pommerening, Florian and Helmert, Malte and Röger, Gabriele and Seipp, Jendrik. (2015) From non-negative to general operator cost partitioning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3335-3341.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Bonet, Blai. (2015) Heuristics for cost-optimal classical planning based on linear programming. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 4303-4309.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Bonet, Blai. (2014) LP-based heuristics for cost-optimal planning. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 226-234.

Pommerening, Florian and Helmert, Malte. (2013) Incremental LM-Cut. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 162-170.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte. (2013) Getting the most out of pattern databases for classical planning. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Menlo Park (CA), pp. 2357-2364.

Pommerening, Florian and Helmert, Malte. (2012) Optimal planning for delete-free tasks with incremental LM-cut. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 363-367.

R

Röger, Gabriele and Helmert, Malte and Seipp, Jendrik and Sievers, Silvan. (2020) An Atom-Centric Perspective on Stubborn Sets. In: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020). pp. 57-65.

Rovner, Alexander and Sievers, Silvan and Helmert, Malte. (2019) Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 362-367.

Röger, Gabriele and Sievers, Silvan and Katz, Michael. (2018) Symmetry-based Task Reduction for Relaxed Reachability Analysis. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 208-217.

Röger, Gabriele. (2017) Towards Certified Unsolvability in Classical Planning. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. pp. 5141-5145 .

Röger, Gabriele and Pommerening, Florian. (2015) Linear programming for heuristics in optimal planning. In: Planning, Search, and Optimization : papers from the 2015 AAAI Workshop ; Austin, Jan. 25-26, 2015. Palo Alto, Calif., pp. 69-76.

Röger, Gabriele and Pommerening, Florian and Helmert, Malte. (2014) Optimal planning in the presence of conditional effects : extending LM-Cut with context-splitting. In: ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Amsterdam, pp. 765-770.

Röger, Gabriele and Pommerening, Florian and Seipp, Jendrik. (2014) Fast Downward Stone Soup 2014. Eighth International Planning Competition (IPC 2014), Deterministic Part.

Röger, Gabriele and Helmert, Malte. (2012) Non-optimal multi-agent pathfinding is solved (since 1984). In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 173-174.

S

Sievers, Silvan and Gnad, Daniel and Torralba, Álvaro. (2022) Additive Pattern Databases for Decoupled Search. In: Proceedings of the 15th International Symposium on Combinatorial Search, 15. pp. 180-189.

Steinmetz, Marcel and Fišer, Daniel and Enişer, Hasan Ferit and Ferber, Patrick and Gros, Timo and Heim, Philippe and Höller, Daniel and Schuler, Xandra and Wüstholz, Valentin and Christakis, Maria and Hoffmann, Jörg. (2022) Debugging a Policy: Automatic Action-Policy Testing in AI Planning. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS2022). pp. 353-361.

Seipp, Jendrik. (2021) Online Saturated Cost Partitioning for Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 317-321.

Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2021) Saturated Post-hoc Optimization for Classical Planning. In: AAAI-21 Proceedings: Thirty-Fifth AAAI Conference on Artificial Intelligence, 35. PALO ALTO, CA, pp. 11947-11953.

Sievers, Silvan and Helmert, Malte. (2021) Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems. The journal of artificial intelligence research, 71. pp. 781-883.

Sievers, Silvan and Wehrle, Martin. (2021) On Weak Stubborn Sets in Classical Planning. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. pp. 4167-4174.

Seipp, Jendrik. (2020) Online Saturated Cost Partitioning for Classical Planning. In: HSDIP 2020: Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP). pp. 16-22.

Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2020) Saturated Cost Partitioning for Optimal Classical Planning. Journal of Artificial Intelligence Research, 67. pp. 129-167.

Seipp, Jendrik and von Allmen, Samuel and Helmert, Malte. (2020) Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 244-248.

Sievers, Silvan and Pommerening, Florian and Keller, Thomas and Helmert, Malte. (2020) Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). pp. 4152-4160.

Seipp, Jendrik. (2019) Pattern Selection for Optimal Classical Planning with Saturated Cost Partitioning. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). pp. 5621-5627.

Seipp, Jendrik. (2019) Planner Metrics Should Satisfy Independence of Irrelevant Alternatives (position paper). 2019 Workshop on the International Planning Competition (WIPC). pp. 40-41.

Seipp, Jendrik and Helmert, Malte. (2019) Subset-Saturated Cost Partitioning for Optimal Classical Planning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019). pp. 391-400.

Sievers, Silvan and Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Ferber, Patrick. (2019) Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 33. pp. 7715-7723.

Sievers, Silvan and Röger, Gabriele and Wehrle, Martin and Katz, Michael. (2019) Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 446-454.

Seipp, Jendrik. Counterexample-guided cartesian abstraction refinement and saturated cost partitioning for optimal classical planning. 2018, Doctoral Thesis, University of Basel, Faculty of Science.

Seipp, Jendrik. (2018) Fast Downward Remix (planner abstract). Ninth International Planning Competition (IPC 2018).

Seipp, Jendrik. (2018) Scorpion (planner abstract). Ninth International Planning Competition (IPC 2018).

Seipp, Jendrik and Helmert, Malte. (2018) Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning. Journal of Artificial Intelligence Research, 62. pp. 535-577.

Seipp, Jendrik and Röger, Gabriele. (2018) Fast Downward Stone Soup 2018 (planner abstract). Ninth International Planning Competition (IPC 2018).

Sievers, Silvan. (2018) Fast Downward Merge-and-Shrink (planner abstract). Ninth International Planning Competition (IPC 2018).

Sievers, Silvan. (2018) Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions. In: Proceedings of the Eleventh Annual Symposium on Combinatorial Search (SoCS 2018). pp. 90-98.

Sievers, Silvan and Katz, Michael. (2018) Metis 2018 (planner abstract). Ninth International Planning Competition (IPC 2018).

Seipp, Jendrik. (2017) Better Orders for Saturated Cost Partitioning in Optimal Classical Planning. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017).

Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2017) A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2017) Narrowing the Gap Between Saturated and Optimal Cost Partitioning for Classical Planning. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017). pp. 3651-3657.

Sievers, Silvan. Merge-and-shrink abstractions for classical planning : theory, strategies, and implementation. 2017, Doctoral Thesis, University of Basel, Faculty of Science.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Katz, Michael. (2017) Strengthening Canonical Pattern Databases with Structural Symmetries. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017). pp. 91-99.

Sturtevant, Nathan R. and Felner, Ariel and Helmert, Malte. (2017) Value Compression of Pattern Databases. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017).

Seipp, Jendrik and Pommerening, Florian and Röger, Gabriele and Helmert, Malte. (2016) Correlation Complexity of Classical Planning Domains. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. pp. 3242-3250.

Seipp, Jendrik and Pommerening, Florian and Sievers, Silvan and Wehrle, Martin and Fawcett, Chris and Alkhazraji, Yusra. (2016) Fast Downward Aidos (planner abstract). First Unsolvability International Planning Competition (UIPC 2016).

Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2016) An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). pp. 294-298.

Skočaj, Danijel and Vrečko, Alen and Mahnič, Marko and Janíček, Miroslav and Kruijff, Geert-Jan and Hanheide, Marc and Hawes, Nick and Wyatt, Jeremy and Keller, Thomas and Zhou, Kai and Zillich, Michael and Kristan, Matej. (2016) An integrated system for interactive continuous learning of categorical knowledge. Journal of Experimental & Theoretical Artificial Intelligence, 28 (5). pp. 823-848.

Scherrer, Sascha and Pommerening, Florian and Wehrle, Martin. (2015) Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). Palo Alto, California, pp. 216-217.

Seipp, Jendrik and Pommerening, Florian and Helmert, Malte. (2015) New Optimization Functions for Potential Heuristics. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 193-201.

Seipp, Jendrik and Sievers, Silvan and Helmert, Malte and Hutter, Frank. (2015) Automatic configuration of sequential planning portfolios. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3364-3370.

Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin. (2015) Heuristics and symmetries in classical planning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3371-3377.

Sievers, Silvan and Helmert, Malte. (2015) A Doppelkopf Player Based on UCT. In: Proceedings of the 38th Annual German Conference on Artificial Intelligence. Cham, pp. 151-165.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Katz, Michael. (2015) An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search. In: Proceedings of the 38th Annual German Conference on Artificial Intelligence. Cham, pp. 166-180.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Factored symmetries for merge-and-shrink abstractions. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3378-3385.

Simon, Salomé and Röger, Gabriele. (2015) Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). pp. 113-121.

Seipp, Jendrik and Braun, Manuel and Garimort, Johannes. (2014) Fast Downward Uniform Portfolio (IPC planner abstract).

Seipp, Jendrik and Helmert, Malte. (2014) Diverse and additive Cartesian abstraction heuristics. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 289-297.

Seipp, Jendrik and Sievers, Silvan and Hutter, Frank. (2014) Fast Downward Cedalion (IPC planner abstract).

Seipp, Jendrik and Sievers, Silvan and Hutter, Frank. (2014) Fast Downward SMAC (IPC-learning planner abstract).

Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2014) Bounded intention planning revisited. In: ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Amsterdam, pp. 1097-1098.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2014) Generalized label reduction for merge-and-shrink heuristics. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2358-2366.

Sturtevant, Nathan R. and Felner, Ariel and Helmert, Malte. (2014) Exploiting the Rubik's Cube 12-edge PDB by combining partial pattern databases and Bloom filters. In: Proceedings of the Seventh International Symposium on Combinatorial Search (SoCS-2014), 15 - 17 August 2014, Prague, Czech Republic. Palo Alto, Calif., pp. 175-183.

Seipp, Jendrik and Helmert, Malte. (2013) Additive counterexample-guided Cartesian abstraction refinement. In: Late-breaking developments in the field of artificial intelligence : papers presented at the Twenty-Seventh AAAI Conference on Artificial Intelligence, [in Bellevue, WA, July 14 - 18, 2013] (AAAI 2013). Palo Alto, Calif., pp. 119-121.

Seipp, Jendrik and Helmert, Malte. (2013) Counterexample-guided Cartesian abstraction refinement. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 347-351.

Schmid, Ute and Mandl, Stefan and Gust, Helmar and Kitzelmann, Emanuel and Helmert, Malte and Buschmeier, Hendrik and Yaghoubzadeh, Ramin and Pietsch, Christian and Kopp, Stefan and Hertzberg, Joachim and Sprickerhof, Jochen and Wiemann, Thomas. (2012) What Language Do You Use to Create Your AI Programs and Why? KI – Künstliche Intelligenz, Vol. 26, H. 1. pp. 99-106.

Seipp, Jendrik and Braun, Manuel and Garimort, Johannes and Helmert, Malte. (2012) Learning portfolios of automatically tuned planners. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 368-372.

Sievers, Silvan and Ortlieb, Manuela and Helmert, Malte. (2012) Efficient implementation of pattern database heuristics for classical planning. In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 105-111.

T

Torralba, Álvaro and Seipp, Jendrik and Sievers, Silvan. (2021) Automatic Instance Generation for Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 376-384.

Torralba, Álvaro and Seipp, Jendrik and Sievers, Silvan. (2020) Automatic Configuration of Benchmark Sets for Classical Planning. In: HSDIP 2020: Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP). pp. 58-66.

Torralba, Álvaro and Sievers, Silvan. (2019) Merge-and-Shrink Task Reformulation for Classical Planning. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. pp. 5644-5652.

Thayer, Jordan T. and Benton, J. and Helmert, Malte. (2012) Better parameter-free anytime search by minimizing time between solutions. In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 120-128.

W

Winterer, Dominik and Alkhazraji, Yusra and Katz, Michael and Wehrle, Martin. (2017) Stubborn Sets for Fully Observable Nondeterministic Planning. In: Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling. Workshop on Model Checking and Automated Planning (MOCHAP). Palo Alto, California, pp. 330-338.

Winterer, Dominik and Alkhazraji, Yusra and Katz, Michael and Wehrle, Martin. (2017) Stubborn Sets for Fully Observable Nondeterministic Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Wehrle, Martin and Kupferschmid, Sebastian. (2016) Downward Pattern Refinement for Timed Automata. International journal on software tools for technology transfer, 18 (1). pp. 41-56.

Wehrle, Martin and Sievers, Silvan and Helmert, Malte. (2016) Graph-Based Factorization of Classical Planning Problems. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3286-3292.

Winterer, Dominik and Wehrle, Martin and Katz, Michael. (2016) Structural Symmetries for Fully Observable Nondeterministic Planning. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3293-3299.

Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 1712-1718.

Wehrle, Martin and Helmert, Malte. (2014) Efficient stubborn sets : generalized algorithms and selection strategies. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 323-331.

Wehrle, Martin and Helmert, Malte and Alkhazraji, Yusra and Mattmüller, Robert. (2013) The relative pruning power of strong stubborn sets and expansion core. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 251-259.

Wehrle, Martin and Helmert, Malte. (2012) About partial order reduction in planning and computer aided verification. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012). Atibaia, pp. 297-305.

Wehrle, Martin and Kupferschmid, Sebastian. (2012) Mcta: heuristics and search for timed systems. In: Formal Modeling and Analysis of Timed Systems : 10th International Conference (FORMATS 2012). Berlin, pp. 252-266.

This list was generated on Thu Mar 28 03:46:00 2024 CET.