Matches in SemOpenAlex for { <https://semopenalex.org/work/W819653046> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W819653046 abstract "Automated planning systems (APS) are gaining acceptance for use on NASA missions as evidenced by APS flown On missions such as Orbiter and Deep Space 1 both of which were commanded by onboard planning systems. The planning system takes high level goals and expands them onboard into a detailed of action fiat the spacecraft executes. The system must be verified to ensure that the automatically generated plans achieve the goals as expected and do not generate actions that would harm the spacecraft or mission. These systems are typically tested using empirical methods. Formal methods, such as model checking, offer exhaustive or measurable test coverage which leads to much greater confidence in correctness. This paper describes a formal method based on the SPIN model checker. This method guarantees that possible plans meet certain desirable properties. We express the input model in Promela, the language of SPIN and express the properties of desirable plans formally." @default.
- W819653046 created "2016-06-24" @default.
- W819653046 creator A5006062153 @default.
- W819653046 creator A5013231924 @default.
- W819653046 creator A5031940081 @default.
- W819653046 creator A5034153005 @default.
- W819653046 date "2005-03-05" @default.
- W819653046 modified "2023-10-01" @default.
- W819653046 title "Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified" @default.
- W819653046 cites W1481705907 @default.
- W819653046 cites W1522223086 @default.
- W819653046 cites W1536198810 @default.
- W819653046 cites W163101316 @default.
- W819653046 cites W1943502734 @default.
- W819653046 cites W2103071673 @default.
- W819653046 cites W2126509366 @default.
- W819653046 hasPublicationYear "2005" @default.
- W819653046 type Work @default.
- W819653046 sameAs 819653046 @default.
- W819653046 citedByCount "0" @default.
- W819653046 crossrefType "proceedings-article" @default.
- W819653046 hasAuthorship W819653046A5006062153 @default.
- W819653046 hasAuthorship W819653046A5013231924 @default.
- W819653046 hasAuthorship W819653046A5031940081 @default.
- W819653046 hasAuthorship W819653046A5034153005 @default.
- W819653046 hasConcept C110251889 @default.
- W819653046 hasConcept C111498074 @default.
- W819653046 hasConcept C115903868 @default.
- W819653046 hasConcept C127413603 @default.
- W819653046 hasConcept C146978453 @default.
- W819653046 hasConcept C199360897 @default.
- W819653046 hasConcept C201995342 @default.
- W819653046 hasConcept C2776329536 @default.
- W819653046 hasConcept C2776481522 @default.
- W819653046 hasConcept C29829512 @default.
- W819653046 hasConcept C41008148 @default.
- W819653046 hasConcept C55439883 @default.
- W819653046 hasConceptScore W819653046C110251889 @default.
- W819653046 hasConceptScore W819653046C111498074 @default.
- W819653046 hasConceptScore W819653046C115903868 @default.
- W819653046 hasConceptScore W819653046C127413603 @default.
- W819653046 hasConceptScore W819653046C146978453 @default.
- W819653046 hasConceptScore W819653046C199360897 @default.
- W819653046 hasConceptScore W819653046C201995342 @default.
- W819653046 hasConceptScore W819653046C2776329536 @default.
- W819653046 hasConceptScore W819653046C2776481522 @default.
- W819653046 hasConceptScore W819653046C29829512 @default.
- W819653046 hasConceptScore W819653046C41008148 @default.
- W819653046 hasConceptScore W819653046C55439883 @default.
- W819653046 hasLocation W8196530461 @default.
- W819653046 hasOpenAccess W819653046 @default.
- W819653046 hasPrimaryLocation W8196530461 @default.
- W819653046 hasRelatedWork W110793815 @default.
- W819653046 hasRelatedWork W1502025346 @default.
- W819653046 hasRelatedWork W158871504 @default.
- W819653046 hasRelatedWork W1598135894 @default.
- W819653046 hasRelatedWork W162316079 @default.
- W819653046 hasRelatedWork W2010690417 @default.
- W819653046 hasRelatedWork W2021627950 @default.
- W819653046 hasRelatedWork W2051212585 @default.
- W819653046 hasRelatedWork W2124723997 @default.
- W819653046 hasRelatedWork W2139196061 @default.
- W819653046 hasRelatedWork W2150545797 @default.
- W819653046 hasRelatedWork W2333004149 @default.
- W819653046 hasRelatedWork W2556748375 @default.
- W819653046 hasRelatedWork W2792378881 @default.
- W819653046 hasRelatedWork W2803195791 @default.
- W819653046 hasRelatedWork W3084670216 @default.
- W819653046 hasRelatedWork W3161220284 @default.
- W819653046 hasRelatedWork W592490450 @default.
- W819653046 hasRelatedWork W747479477 @default.
- W819653046 hasRelatedWork W1969125438 @default.
- W819653046 isParatext "false" @default.
- W819653046 isRetracted "false" @default.
- W819653046 magId "819653046" @default.
- W819653046 workType "article" @default.