Sebastian Stock

ORCID

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 9

Top Venues

CoRR

Künstliche Intell.

IROS

University of Osnabrück, Germany (PHD)

Education History

University of Osnabrück, Germany

PHD

Publications

Sebastian Stock, Atif Mashkoor, Alexander Egyed
Application of Validation Obligations to Security Concerns. DEXA Workshops (2022)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace Refinement in B and Event-B. ICFEM (2022)
Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Formalization of Advanced VOs semantics and VO Refinement. CoRR (2022)
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. CoRR (2022)
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Application of Validation Obligations to Security Concerns. CoRR (2022)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace Refinement in B and Event-B. CoRR (2022)
José de Gea Fernández, Nils Niemann, Sebastian Stock, Martin Günther, Dennis Mronga, Hendrik Wiese, Elsa Andrea Kirchner, Stefan Stiene
Hybr-iT Project: Initial Steps Towards Contextual Robotic Manipulation for Human-Robot Teams in Industrial Environments. CCIA (2018)
Sebastian Stock
Hierarchical Hybrid Planning for Mobile Robots. Künstliche Intell. 31 (4) (2017)
Sebastian Stock, Kai Lingemann, Stefan Stiene, Joachim Hertzberg
Towards a flexible hybrid planner for machine coordination in arable farming. GIL Jahrestagung (2016)
Sebastian Stock, Masoumeh Mansouri, Federico Pecora, Joachim Hertzberg
Hierarchical Hybrid Planning in a Mobile Service Robot. KI (2015)
Sebastian Rockel, Stefan Konecny, Sebastian Stock, Joachim Hertzberg, Federico Pecora, Jianwei Zhang
Integrating physics-based prediction with Semantic plan Execution Monitoring. IROS (2015)
Sebastian Stock, Masoumeh Mansouri, Federico Pecora, Joachim Hertzberg
Online task merging with a hierarchical hybrid task planner for mobile service robots. IROS (2015)
Joachim Hertzberg, Jianwei Zhang, Liwei Zhang, Sebastian Rockel, Bernd Neumann, Jos Lehmann, Krishna Sandeep Reddy Dubba, Anthony G. Cohn, Alessandro Saffiotti, Federico Pecora, Masoumeh Mansouri, Stefan Konecny, Martin Günther, Sebastian Stock, Luís Seabra Lopes, Miguel Oliveira, Gi Hyun Lim, S. Hamidreza Kasaei, Vahid Mokhtari, Lothar Hotz, Wilfried Bohlken
The RACE Project - Robustness by Autonomous Competence Enhancement. Künstliche Intell. 28 (4) (2014)
Stefan Konecny, Sebastian Stock, Federico Pecora, Alessandro Saffiotti
Planning Domain + Execution Semantics: A Way Towards Robust Execution? AAAI Spring Symposia (2014)
Sebastian Rockel, Bernd Neumann, Jianwei Zhang, Krishna Sandeep Reddy Dubba, Anthony G. Cohn, Stefan Konecny, Masoumeh Mansouri, Federico Pecora, Alessandro Saffiotti, Martin Günther, Sebastian Stock, Joachim Hertzberg, Ana Maria Tomé, Armando J. Pinho, Luís Seabra Lopes, Stephanie von Riegen, Lothar Hotz
An Ontology-based Multi-level Robot Architecture for Learning from Experiences. AAAI Spring Symposium: Designing Intelligent Robots (2013)

Sebastian Stock.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Stock