edoc

Items where Author is "Podelski, Andreas"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Number of items: 5.

Article

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.

Conference or Workshop Item

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.

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.

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.

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.

This list was generated on Fri Mar 29 08:34:02 2024 CET.