Picture for Gerardo Schneider

Gerardo Schneider

Chalmers | University of Gothenburg, Sweden

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Add code
Jun 13, 2023
Figure 1 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Figure 2 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Figure 3 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Figure 4 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Viaarxiv icon

A Web-Based Tool for Analysing Normative Documents in English

Add code
Jul 13, 2017
Figure 1 for A Web-Based Tool for Analysing Normative Documents in English
Figure 2 for A Web-Based Tool for Analysing Normative Documents in English
Figure 3 for A Web-Based Tool for Analysing Normative Documents in English
Figure 4 for A Web-Based Tool for Analysing Normative Documents in English
Viaarxiv icon

Extracting Formal Models from Normative Texts

Add code
Jun 15, 2017
Figure 1 for Extracting Formal Models from Normative Texts
Figure 2 for Extracting Formal Models from Normative Texts
Viaarxiv icon

A CNL for Contract-Oriented Diagrams

Add code
Jun 22, 2014
Figure 1 for A CNL for Contract-Oriented Diagrams
Figure 2 for A CNL for Contract-Oriented Diagrams
Figure 3 for A CNL for Contract-Oriented Diagrams
Figure 4 for A CNL for Contract-Oriented Diagrams
Viaarxiv icon

From Contracts in Structured English to CL Specifications

Add code
Sep 13, 2011
Figure 1 for From Contracts in Structured English to CL Specifications
Figure 2 for From Contracts in Structured English to CL Specifications
Viaarxiv icon