Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989969310> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1989969310 endingPage "954" @default.
- W1989969310 startingPage "953" @default.
- W1989969310 abstract "We describe our work in progress on a model checker for verifying ConGolog programs. ConGolog is a novel high-level programming language for robot control which incorporates a rich account of concurrency, prioritized execution, interrupts, and changes in the world that are beyond robot's control. The novelty of this language requires new methods of proving correctness. We apply the techniques from XSB tabling and the µ-calculus, to overcome the challenge of verifying complex non-terminating programs, in a terminating time." @default.
- W1989969310 created "2016-06-24" @default.
- W1989969310 creator A5009756210 @default.
- W1989969310 creator A5044912069 @default.
- W1989969310 date "2002-07-28" @default.
- W1989969310 modified "2023-09-24" @default.
- W1989969310 title "A model checker for verifying ConGolog programs" @default.
- W1989969310 cites W1524332517 @default.
- W1989969310 cites W1582292473 @default.
- W1989969310 cites W1612453857 @default.
- W1989969310 cites W2038809129 @default.
- W1989969310 cites W2062205093 @default.
- W1989969310 cites W2913459036 @default.
- W1989969310 cites W2913860160 @default.
- W1989969310 doi "https://doi.org/10.5555/777092.777239" @default.
- W1989969310 hasPublicationYear "2002" @default.
- W1989969310 type Work @default.
- W1989969310 sameAs 1989969310 @default.
- W1989969310 citedByCount "2" @default.
- W1989969310 crossrefType "proceedings-article" @default.
- W1989969310 hasAuthorship W1989969310A5009756210 @default.
- W1989969310 hasAuthorship W1989969310A5044912069 @default.
- W1989969310 hasConcept C110251889 @default.
- W1989969310 hasConcept C138885662 @default.
- W1989969310 hasConcept C159333733 @default.
- W1989969310 hasConcept C193702766 @default.
- W1989969310 hasConcept C199360897 @default.
- W1989969310 hasConcept C27206212 @default.
- W1989969310 hasConcept C2778738651 @default.
- W1989969310 hasConcept C41008148 @default.
- W1989969310 hasConcept C55439883 @default.
- W1989969310 hasConcept C80444323 @default.
- W1989969310 hasConceptScore W1989969310C110251889 @default.
- W1989969310 hasConceptScore W1989969310C138885662 @default.
- W1989969310 hasConceptScore W1989969310C159333733 @default.
- W1989969310 hasConceptScore W1989969310C193702766 @default.
- W1989969310 hasConceptScore W1989969310C199360897 @default.
- W1989969310 hasConceptScore W1989969310C27206212 @default.
- W1989969310 hasConceptScore W1989969310C2778738651 @default.
- W1989969310 hasConceptScore W1989969310C41008148 @default.
- W1989969310 hasConceptScore W1989969310C55439883 @default.
- W1989969310 hasConceptScore W1989969310C80444323 @default.
- W1989969310 hasLocation W19899693101 @default.
- W1989969310 hasOpenAccess W1989969310 @default.
- W1989969310 hasPrimaryLocation W19899693101 @default.
- W1989969310 hasRelatedWork W147241645 @default.
- W1989969310 hasRelatedWork W1512416822 @default.
- W1989969310 hasRelatedWork W1558446120 @default.
- W1989969310 hasRelatedWork W1564966319 @default.
- W1989969310 hasRelatedWork W1565195967 @default.
- W1989969310 hasRelatedWork W1828133071 @default.
- W1989969310 hasRelatedWork W1845925523 @default.
- W1989969310 hasRelatedWork W1969743416 @default.
- W1989969310 hasRelatedWork W2018617042 @default.
- W1989969310 hasRelatedWork W2022933226 @default.
- W1989969310 hasRelatedWork W2044391590 @default.
- W1989969310 hasRelatedWork W2118196876 @default.
- W1989969310 hasRelatedWork W2128091120 @default.
- W1989969310 hasRelatedWork W2131647778 @default.
- W1989969310 hasRelatedWork W2132873391 @default.
- W1989969310 hasRelatedWork W2137475629 @default.
- W1989969310 hasRelatedWork W2155899073 @default.
- W1989969310 hasRelatedWork W2401820446 @default.
- W1989969310 hasRelatedWork W3022762686 @default.
- W1989969310 hasRelatedWork W3033222348 @default.
- W1989969310 isParatext "false" @default.
- W1989969310 isRetracted "false" @default.
- W1989969310 magId "1989969310" @default.
- W1989969310 workType "article" @default.