Sebastian Stock
YOU?
Author Swipe
View article: Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM
Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM Open
Robotic task execution faces challenges due to the inconsistency between symbolic planner models and the rich control structures actually running on the robot. In this paper, we present the first physical deployment of an integrated actor-…
View article: A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems
A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems Open
International audience
View article: Trace Refinement in B and Event-B
Trace Refinement in B and Event-B Open
Traces are used to show whether a model complies with the intended behavior. A modeler can use trace checking to ensure the preservation of the model behavior during the refinement process. In this paper, we present a trace refinement tech…
View article: Application of Validation Obligations to Security Concerns
Application of Validation Obligations to Security Concerns Open
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early …
View article: Formalization of Advanced VOs semantics and VO Refinement
Formalization of Advanced VOs semantics and VO Refinement Open
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
View article: IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics Open
This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.
View article: Technologiebericht 3.1 Stromtransport und -verteilung innerhalb des Forschungsprojekts TF_Energiewende
Technologiebericht 3.1 Stromtransport und -verteilung innerhalb des Forschungsprojekts TF_Energiewende Open
View article: Hierarchical Hybrid Planning for Mobile Robots
Hierarchical Hybrid Planning for Mobile Robots Open