Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162275483> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2162275483 abstract "We are developing autonomous control systems for mission-critical domains that require hard real-time performance guarantees. To automatically build reactive plans that meet these requirements, we use formal verification (model checking) techniques to assess the quality of plans as they are built. The verification process uses precise timed automaton models of the executive that will run the resulting reactive plan. This reflexive modeling allows our system to formally verify not just that its plans are correct, but that they will be executed correctly." @default.
- W2162275483 created "2016-06-24" @default.
- W2162275483 creator A5017878990 @default.
- W2162275483 creator A5018879019 @default.
- W2162275483 creator A5080458632 @default.
- W2162275483 date "2002-11-13" @default.
- W2162275483 modified "2023-09-26" @default.
- W2162275483 title "Planning with increasingly complex executive models" @default.
- W2162275483 cites W106053879 @default.
- W2162275483 cites W124406830 @default.
- W2162275483 cites W1569051713 @default.
- W2162275483 cites W170812400 @default.
- W2162275483 cites W1874725288 @default.
- W2162275483 cites W2088612790 @default.
- W2162275483 cites W2151497197 @default.
- W2162275483 cites W2170379073 @default.
- W2162275483 doi "https://doi.org/10.1109/iros.2001.976385" @default.
- W2162275483 hasPublicationYear "2002" @default.
- W2162275483 type Work @default.
- W2162275483 sameAs 2162275483 @default.
- W2162275483 citedByCount "2" @default.
- W2162275483 crossrefType "proceedings-article" @default.
- W2162275483 hasAuthorship W2162275483A5017878990 @default.
- W2162275483 hasAuthorship W2162275483A5018879019 @default.
- W2162275483 hasAuthorship W2162275483A5080458632 @default.
- W2162275483 hasConcept C110251889 @default.
- W2162275483 hasConcept C111472728 @default.
- W2162275483 hasConcept C111498074 @default.
- W2162275483 hasConcept C112505250 @default.
- W2162275483 hasConcept C115903868 @default.
- W2162275483 hasConcept C127413603 @default.
- W2162275483 hasConcept C138885662 @default.
- W2162275483 hasConcept C154945302 @default.
- W2162275483 hasConcept C166957645 @default.
- W2162275483 hasConcept C195094911 @default.
- W2162275483 hasConcept C199360897 @default.
- W2162275483 hasConcept C201995342 @default.
- W2162275483 hasConcept C26713055 @default.
- W2162275483 hasConcept C2775924081 @default.
- W2162275483 hasConcept C2776505523 @default.
- W2162275483 hasConcept C2779530757 @default.
- W2162275483 hasConcept C41008148 @default.
- W2162275483 hasConcept C95457728 @default.
- W2162275483 hasConcept C98045186 @default.
- W2162275483 hasConceptScore W2162275483C110251889 @default.
- W2162275483 hasConceptScore W2162275483C111472728 @default.
- W2162275483 hasConceptScore W2162275483C111498074 @default.
- W2162275483 hasConceptScore W2162275483C112505250 @default.
- W2162275483 hasConceptScore W2162275483C115903868 @default.
- W2162275483 hasConceptScore W2162275483C127413603 @default.
- W2162275483 hasConceptScore W2162275483C138885662 @default.
- W2162275483 hasConceptScore W2162275483C154945302 @default.
- W2162275483 hasConceptScore W2162275483C166957645 @default.
- W2162275483 hasConceptScore W2162275483C195094911 @default.
- W2162275483 hasConceptScore W2162275483C199360897 @default.
- W2162275483 hasConceptScore W2162275483C201995342 @default.
- W2162275483 hasConceptScore W2162275483C26713055 @default.
- W2162275483 hasConceptScore W2162275483C2775924081 @default.
- W2162275483 hasConceptScore W2162275483C2776505523 @default.
- W2162275483 hasConceptScore W2162275483C2779530757 @default.
- W2162275483 hasConceptScore W2162275483C41008148 @default.
- W2162275483 hasConceptScore W2162275483C95457728 @default.
- W2162275483 hasConceptScore W2162275483C98045186 @default.
- W2162275483 hasLocation W21622754831 @default.
- W2162275483 hasOpenAccess W2162275483 @default.
- W2162275483 hasPrimaryLocation W21622754831 @default.
- W2162275483 hasRelatedWork W1747412957 @default.
- W2162275483 hasRelatedWork W1979039729 @default.
- W2162275483 hasRelatedWork W1989495662 @default.
- W2162275483 hasRelatedWork W1992707297 @default.
- W2162275483 hasRelatedWork W2005353075 @default.
- W2162275483 hasRelatedWork W2041426923 @default.
- W2162275483 hasRelatedWork W2104880415 @default.
- W2162275483 hasRelatedWork W2118130496 @default.
- W2162275483 hasRelatedWork W2152029933 @default.
- W2162275483 hasRelatedWork W2155621336 @default.
- W2162275483 hasRelatedWork W2159300058 @default.
- W2162275483 hasRelatedWork W2168364540 @default.
- W2162275483 hasRelatedWork W2233433391 @default.
- W2162275483 hasRelatedWork W2244075056 @default.
- W2162275483 hasRelatedWork W2318014234 @default.
- W2162275483 hasRelatedWork W2890253848 @default.
- W2162275483 hasRelatedWork W2966995099 @default.
- W2162275483 hasRelatedWork W2981259319 @default.
- W2162275483 hasRelatedWork W87723195 @default.
- W2162275483 hasRelatedWork W2560007999 @default.
- W2162275483 isParatext "false" @default.
- W2162275483 isRetracted "false" @default.
- W2162275483 magId "2162275483" @default.
- W2162275483 workType "article" @default.