edoc

Items where contributor is "Wehrle, Martin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2016 | 2015 | 2014 | 2013 | 2012

2016

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.

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.

2015

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., S. 3371-3377.

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., S. 3291-3297.

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., S. 3378-3385.

2014

Heusner, Manuel and Wehrle, Martin and Pommerening, Florian and Helmert, Malte. (2014) Under-approximation refinement for classical 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., S. 365-369.

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, Vol. 3. Palo Alto, Calif., S. 2315-2321.

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, Vol. 3. Palo Alto, Calif., S. 2228-2234.

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, Vol. 3. Palo Alto, Calif., S. 2358-2366.

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, S. 270-281.

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., S. 323-331.

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, S. 1097-1098.

2013

Wehrle, Martin and Helmert, Malte and Alkhazarji, 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., S. 251-259.

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, S. 117-134.

2012

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, S. 297-305.

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.], S. 891-892.

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, S. 479-494.

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, S. 252-266.