Add to ORKGThis paper presents the KnowledgE ENgineering (KEEN) design support system in which Validation and Verification (V&V) methods are used to strengthen onground development of software for plan-based autonomy. In particular, the paper describes a collection of verification methods, based on Timed Game Automata (TGA), deployed for the design and development of timeline-based Planning and Scheduling (P&S) applications within the APSI-TRF framework. The KEENs V&V functionalities are illustrated describing software development to synthesize plans for a planetary rover
Autonomy and safety are two major compelling requirements for space applications. From one side, rea...
This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated...
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly ...
This paper describes the exploitation of a Validation and Verification technique aiming at enriching...
The attention for the area of formal methods has significantly increased in AI over last years. The ...
This paper presents some of the features of a knowledge engineering environment, called KEE N, creat...
To foster effective use of artificial intelligence planning and scheduling (P&S) systems in the real...
To foster effective use of artificial intelligence planning and scheduling (P&S) systems in the real...
One of the key points to take into account to foster ef-fective introduction of AI planning and sche...
To foster effective use of AI planning and scheduling systems in the real world it is of great impor...
Timeline-based planners have been shown quite successful in addressing real world problems. Neverthe...
Bringing artificial intelligence planning and scheduling applications into the real world is a hard ...
Safety critical planning and execution is a crucial issue in autonomous systems. This paper proposes...
Autonomy software enables complex, robust behavior in reaction to external stimuli without human int...
This paper focuses on the ESA APSI software platform for developing planning and scheduling applicat...
Autonomy and safety are two major compelling requirements for space applications. From one side, rea...
This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated...
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly ...
This paper describes the exploitation of a Validation and Verification technique aiming at enriching...
The attention for the area of formal methods has significantly increased in AI over last years. The ...
This paper presents some of the features of a knowledge engineering environment, called KEE N, creat...
To foster effective use of artificial intelligence planning and scheduling (P&S) systems in the real...
To foster effective use of artificial intelligence planning and scheduling (P&S) systems in the real...
One of the key points to take into account to foster ef-fective introduction of AI planning and sche...
To foster effective use of AI planning and scheduling systems in the real world it is of great impor...
Timeline-based planners have been shown quite successful in addressing real world problems. Neverthe...
Bringing artificial intelligence planning and scheduling applications into the real world is a hard ...
Safety critical planning and execution is a crucial issue in autonomous systems. This paper proposes...
Autonomy software enables complex, robust behavior in reaction to external stimuli without human int...
This paper focuses on the ESA APSI software platform for developing planning and scheduling applicat...
Autonomy and safety are two major compelling requirements for space applications. From one side, rea...
This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated...
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly ...