Annuaire - LAAS-CNRS

Marcel Steinmetz

Marcel Steinmetz

Équipe

RIS : Robotique et InteractionS

Coordonnées

Courriel :

Téléphone :

Liens

Dernières Publications

2024

Communications dans un congrès

Daniel Fišer, Marcel Steinmetz. Towards Feasible Higher-Dimensional Potential Heuristics. Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-24), Jun 2024, Banff (Alberta), Canada. pp.210-220, ⟨10.1609/icaps.v34i1.31478⟩. ⟨hal-04703786⟩

Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, et al.. Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. ECAI 2024 - 27th European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. ⟨10.3233/FAIA240614⟩. ⟨hal-04822331⟩

Gregor Behnke, Marcel Steinmetz. On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-24), Jun 2024, Banff (Alberta), Canada. pp.20-24, ⟨10.1609/icaps.v34i1.31456⟩. ⟨hal-04703806⟩

Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch. Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-24), Jun 2024, Banff, Canada. pp.555-564. ⟨hal-04561864⟩

Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers. Merge-and-Shrink Heuristics for SSPs with Prune Transformations. ECAI 2024 - 27th European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. ⟨10.3233/FAIA240618⟩. ⟨hal-04822342⟩

@softwareversion

Marcel Steinmetz, Sylvie Thiebaux, Daniel Höller, Florent Teichteil-Königsbuch. Code and Benchmarks for the ICAPS24 paper: Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. 2024. ⟨hal-04703836⟩

2020

Communications dans un congrès

Timo P. Gros, Holger Hermanns, Joerg Hoffmann, Michaela Klauck, Marcel Steinmetz. Deep Statistical Model Checking. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.96-114, ⟨10.1007/978-3-030-50086-3_6⟩. ⟨hal-03283238⟩

LAAS-CNRS

7, av. du colonel Roche
BP 54200
31031 Toulouse cedex 4
France

GPS : 43.563545, 1.476923

Tél :

+ Le laboratoire + Recherche + Plateformes + Formation à la recherche + Partenariats + Actualités