FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2150545797> ?p ?o ?g. }

• W2150545797 abstract "Space applications require software systems that are both autonomous and safe. Planning techniques can automatically generate plans that achieve given goals. Formal verication techniques, like model checking, can guarantee a higher degree of safety. In this paper, we combine planning and formal verication techniques in order to address the problem of Safe Planning. By Safe Planning, we mean the task of generating/validating plans that not only achieve the goal, but verify also a set of other user dened properties, e.g., safety properties. This work has been carried out in the context of SACSO (SAfety Critical SOftware for planning in space robotics), a national project funded by the Italian Space Agency (ASI)." @default.
• W2150545797 created "2016-06-24" @default.
• W2150545797 creator A5004609930 @default.
• W2150545797 creator A5005687530 @default.
• W2150545797 creator A5008805235 @default.
• W2150545797 creator A5039482178 @default.
• W2150545797 date "2001-01-01" @default.
• W2150545797 modified "2023-09-25" @default.
• W2150545797 title "Merging Planning and Verication Techniques for Safe Planning in Space Robotics" @default.
• W2150545797 cites W1503127657 @default.
• W2150545797 cites W1503170978 @default.
• W2150545797 cites W1527405706 @default.
• W2150545797 cites W1527743161 @default.
• W2150545797 cites W1529693658 @default.
• W2150545797 cites W1599083726 @default.
• W2150545797 cites W1612453857 @default.
• W2150545797 cites W1667362966 @default.
• W2150545797 cites W1787074469 @default.
• W2150545797 cites W1984139896 @default.
• W2150545797 cites W2023808162 @default.
• W2150545797 cites W2030224590 @default.
• W2150545797 cites W2033657926 @default.
• W2150545797 cites W2049934619 @default.
• W2150545797 cites W2057361103 @default.
• W2150545797 cites W2099120582 @default.
• W2150545797 cites W2141088850 @default.
• W2150545797 cites W2169817128 @default.
• W2150545797 cites W2340735175 @default.
• W2150545797 cites W2911829174 @default.
• W2150545797 cites W2913048043 @default.
• W2150545797 cites W2913459036 @default.
• W2150545797 cites W293498406 @default.
• W2150545797 hasPublicationYear "2001" @default.
• W2150545797 type Work @default.
• W2150545797 sameAs 2150545797 @default.
• W2150545797 citedByCount "2" @default.
• W2150545797 crossrefType "journal-article" @default.
• W2150545797 hasAuthorship W2150545797A5004609930 @default.
• W2150545797 hasAuthorship W2150545797A5005687530 @default.
• W2150545797 hasAuthorship W2150545797A5008805235 @default.
• W2150545797 hasAuthorship W2150545797A5039482178 @default.
• W2150545797 hasConcept C111919701 @default.
• W2150545797 hasConcept C114073186 @default.
• W2150545797 hasConcept C115903868 @default.
• W2150545797 hasConcept C127413603 @default.
• W2150545797 hasConcept C151730666 @default.
• W2150545797 hasConcept C154945302 @default.
• W2150545797 hasConcept C166957645 @default.
• W2150545797 hasConcept C177264268 @default.
• W2150545797 hasConcept C199360897 @default.
• W2150545797 hasConcept C201995342 @default.
• W2150545797 hasConcept C2776505523 @default.
• W2150545797 hasConcept C2777904410 @default.
• W2150545797 hasConcept C2778572836 @default.
• W2150545797 hasConcept C2779343474 @default.
• W2150545797 hasConcept C2780451532 @default.
• W2150545797 hasConcept C34413123 @default.
• W2150545797 hasConcept C41008148 @default.
• W2150545797 hasConcept C86803240 @default.
• W2150545797 hasConcept C90509273 @default.
• W2150545797 hasConcept C95457728 @default.
• W2150545797 hasConceptScore W2150545797C111919701 @default.
• W2150545797 hasConceptScore W2150545797C114073186 @default.
• W2150545797 hasConceptScore W2150545797C115903868 @default.
• W2150545797 hasConceptScore W2150545797C127413603 @default.
• W2150545797 hasConceptScore W2150545797C151730666 @default.
• W2150545797 hasConceptScore W2150545797C154945302 @default.
• W2150545797 hasConceptScore W2150545797C166957645 @default.
• W2150545797 hasConceptScore W2150545797C177264268 @default.
• W2150545797 hasConceptScore W2150545797C199360897 @default.
• W2150545797 hasConceptScore W2150545797C201995342 @default.
• W2150545797 hasConceptScore W2150545797C2776505523 @default.
• W2150545797 hasConceptScore W2150545797C2777904410 @default.
• W2150545797 hasConceptScore W2150545797C2778572836 @default.
• W2150545797 hasConceptScore W2150545797C2779343474 @default.
• W2150545797 hasConceptScore W2150545797C2780451532 @default.
• W2150545797 hasConceptScore W2150545797C34413123 @default.
• W2150545797 hasConceptScore W2150545797C41008148 @default.
• W2150545797 hasConceptScore W2150545797C86803240 @default.
• W2150545797 hasConceptScore W2150545797C90509273 @default.
• W2150545797 hasConceptScore W2150545797C95457728 @default.
• W2150545797 hasLocation W21505457971 @default.
• W2150545797 hasOpenAccess W2150545797 @default.
• W2150545797 hasPrimaryLocation W21505457971 @default.
• W2150545797 hasRelatedWork W1583221836 @default.
• W2150545797 hasRelatedWork W1950924026 @default.
• W2150545797 hasRelatedWork W2051212585 @default.
• W2150545797 hasRelatedWork W2088363091 @default.
• W2150545797 hasRelatedWork W2142386035 @default.
• W2150545797 hasRelatedWork W2195359882 @default.
• W2150545797 hasRelatedWork W2250607578 @default.
• W2150545797 hasRelatedWork W2257571798 @default.
• W2150545797 hasRelatedWork W2403225618 @default.
• W2150545797 hasRelatedWork W2617018173 @default.
• W2150545797 hasRelatedWork W2787625232 @default.
• W2150545797 hasRelatedWork W3037112047 @default.
• W2150545797 hasRelatedWork W3084670216 @default.
• W2150545797 hasRelatedWork W3089494795 @default.
• W2150545797 hasRelatedWork W3175257440 @default.
• W2150545797 hasRelatedWork W3175764028 @default.

• next