Sebastian Stock

Most-cited papers

Unified Planning: Modeling, manipulating and solving AI planning problems in Python
Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala +13 more
2025SoftwareX47 citations Open access
Semantic Scholar
An Ontology-based Multi-level Robot Architecture for Learning from Experiences
Sebastian Rockel, B. Neumann, Jianwei Zhang, K. Dubba +13 more
2013AAAI Spring Symposium: Designing Intelligent Robots46 citations
Semantic Scholar
Online task merging with a hierarchical hybrid task planner for mobile service robots
Sebastian Stock, Masoumeh Mansouri, F. Pecora, J. Hertzberg
2015IEEE/RJS International Conference on Intelligent RObots and Systems40 citations
Semantic Scholar
The RACE Project
J. Hertzberg, Jianwei Zhang, Liwei Zhang, Sebastian Rockel +17 more
2014KI - Künstliche Intelligenz28 citations
Semantic Scholar
Planning Domain + Execution Semantics: A Way Towards Robust Execution?
Stefan Konecny, Sebastian Stock, F. Pecora, A. Saffiotti
2014AAAI Spring Symposia25 citations
Semantic Scholar
Hierarchical Hybrid Planning in a Mobile Service Robot
Sebastian Stock, Masoumeh Mansouri, F. Pecora, J. Hertzberg
2015Deutsche Jahrestagung für Künstliche Intelligenz18 citations Open access
Semantic Scholar
Lifting SU(3)-structures to nearly parallel G_{2}-structures
Sebastian Stock
200714 citations Open access
Semantic Scholar
Integrating physics-based prediction with Semantic plan Execution Monitoring
Sebastian Rockel, Stefan Konecny, Sebastian Stock, J. Hertzberg +2 more
2015IEEE/RJS International Conference on Intelligent RObots and Systems13 citations
Semantic Scholar
Gauge Deformations and Embedding Theorems for Special Geometries
Sebastian Stock
200910 citations
Semantic Scholar
Generating and Executing Hierarchical Mobile Manipulation Plans
Sebastian Stock, M. Guenther, J. Hertzberg
2014International Symposium on Robotics6 citations
Semantic Scholar
Validation by Abstraction and Refinement
Sebastian Stock, Fabian Vu, David Geleßus, M. Leuschel +2 more
2023International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z3 citations
Semantic Scholar
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
David Geleßus, Sebastian Stock, Fabian Vu, M. Leuschel +1 more
2023International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z3 citations
Semantic Scholar
This is a repository copy of The RACE Project : Robustness by Autonomous Competence Enhancement
Jianwei Zhang, Liwei Zhang, Sebastian Rockel, B. Neumann +13 more
20183 citations
Semantic Scholar
Hierarchical Hybrid Planning for Mobile Robots
Sebastian Stock
2017KI - Künstliche Intelligenz3 citations Open access
Semantic Scholar
IVOIRE Deliverable 1.1: Classification of existing VOs&tools and Formalization of VOs semantics
Sebastian Stock, Fabian Vu, A. Mashkoor, M. Leuschel +1 more
20222 citations
Semantic Scholar
Evolution of Geometries with Torsion
Sebastian Stock
20102 citations
Semantic Scholar
Application of Validation Obligations to Security Concerns
Sebastian Stock, A. Mashkoor, Alexander Egyed
2022DEXA Workshops1 citations Open access
Semantic Scholar
Trace Refinement in B and Event-B
Sebastian Stock, A. Mashkoor, M. Leuschel, Alexander Egyed
2022IEEE International Conference on Formal Engineering Methods1 citations Open access
Semantic Scholar
Towards a flexible hybrid planner for machine coordination in arable farming
Sebastian Stock, K. Lingemann, Stefan Stiene, J. Hertzberg
2016GIL Jahrestagung1 citations
Semantic Scholar
Validation-Driven Development
Sebastian Stock, A. Mashkoor, Alexander Egyed
2023IEEE International Conference on Formal Engineering Methods0 citations Open access
Semantic Scholar
Early and Systematic Validation of Formal Models
Sebastian Stock
2023IEEE International Conference on Formal Engineering Methods0 citations Open access
Semantic Scholar
Formalization of Advanced VOs semantics and VO Refinement
Sebastian Stock, Fabian Vu, David Gelessus, A. Mashkoor +2 more
20220 citations
Semantic Scholar
Towards Contextual Robots for Collaborative Manufacturing
J. Fernández, Dennis Mronga, Martin Günther, Sebastian Stock +5 more
20180 citations
Semantic Scholar
Hybr-iT Project: Initial Steps Towards Contextual Robotic Manipulation for Human-Robot Teams in Industrial Environments
José de Gea Fernández, Nils Niemann, Sebastian Stock, Martin Günther +4 more
2018International Conference of the Catalan Association for Artificial Intelligence0 citations
Semantic Scholar
Hierarchical Hybrid Planning for Mobile Robots
Sebastian Stock
2017KI - Künstliche Intelligenz0 citations Open access
Semantic Scholar
A Remark on Coclosed G_2-Structures
Sebastian Stock
20100 citations
Semantic Scholar