Matches in SemOpenAlex for { <https://semopenalex.org/work/W31462943> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W31462943 abstract "A class of agent architectures is analyzed for reliability and logical consistency. Formal analysis can help to uncover unaccounted for corners or cases where the agent based system can potentially fail to perform as implied by the theory. The agents perform modelling, controller optimization, implementation and also monitor performance. The global convergence of performance of the agent system is provenunder mild assumptions. The formerly introduced cautiously optimistic family of control agent architectures is analyzed in this paper by formal and simulation methods" @default.
- W31462943 created "2016-06-24" @default.
- W31462943 creator A5024055531 @default.
- W31462943 creator A5058754653 @default.
- W31462943 date "2004-01-01" @default.
- W31462943 modified "2023-09-27" @default.
- W31462943 title "Formal verification of autonomous control agents" @default.
- W31462943 cites W1911779139 @default.
- W31462943 cites W193728869 @default.
- W31462943 cites W1949693226 @default.
- W31462943 cites W1972870800 @default.
- W31462943 cites W2063857447 @default.
- W31462943 cites W2081910594 @default.
- W31462943 cites W2094471475 @default.
- W31462943 cites W2112876741 @default.
- W31462943 cites W2131435640 @default.
- W31462943 cites W2167138846 @default.
- W31462943 cites W2480112304 @default.
- W31462943 cites W2615688110 @default.
- W31462943 cites W2727434457 @default.
- W31462943 cites W2731560078 @default.
- W31462943 cites W2976354175 @default.
- W31462943 cites W55956962 @default.
- W31462943 hasPublicationYear "2004" @default.
- W31462943 type Work @default.
- W31462943 sameAs 31462943 @default.
- W31462943 citedByCount "0" @default.
- W31462943 crossrefType "journal-article" @default.
- W31462943 hasAuthorship W31462943A5024055531 @default.
- W31462943 hasAuthorship W31462943A5058754653 @default.
- W31462943 hasConcept C111498074 @default.
- W31462943 hasConcept C115903868 @default.
- W31462943 hasConcept C120314980 @default.
- W31462943 hasConcept C121332964 @default.
- W31462943 hasConcept C154945302 @default.
- W31462943 hasConcept C162324750 @default.
- W31462943 hasConcept C163258240 @default.
- W31462943 hasConcept C203479927 @default.
- W31462943 hasConcept C2775924081 @default.
- W31462943 hasConcept C2776436953 @default.
- W31462943 hasConcept C2777212361 @default.
- W31462943 hasConcept C2777303404 @default.
- W31462943 hasConcept C41008148 @default.
- W31462943 hasConcept C43214815 @default.
- W31462943 hasConcept C50522688 @default.
- W31462943 hasConcept C62520636 @default.
- W31462943 hasConcept C6557445 @default.
- W31462943 hasConcept C75606506 @default.
- W31462943 hasConcept C80444323 @default.
- W31462943 hasConcept C86803240 @default.
- W31462943 hasConceptScore W31462943C111498074 @default.
- W31462943 hasConceptScore W31462943C115903868 @default.
- W31462943 hasConceptScore W31462943C120314980 @default.
- W31462943 hasConceptScore W31462943C121332964 @default.
- W31462943 hasConceptScore W31462943C154945302 @default.
- W31462943 hasConceptScore W31462943C162324750 @default.
- W31462943 hasConceptScore W31462943C163258240 @default.
- W31462943 hasConceptScore W31462943C203479927 @default.
- W31462943 hasConceptScore W31462943C2775924081 @default.
- W31462943 hasConceptScore W31462943C2776436953 @default.
- W31462943 hasConceptScore W31462943C2777212361 @default.
- W31462943 hasConceptScore W31462943C2777303404 @default.
- W31462943 hasConceptScore W31462943C41008148 @default.
- W31462943 hasConceptScore W31462943C43214815 @default.
- W31462943 hasConceptScore W31462943C50522688 @default.
- W31462943 hasConceptScore W31462943C62520636 @default.
- W31462943 hasConceptScore W31462943C6557445 @default.
- W31462943 hasConceptScore W31462943C75606506 @default.
- W31462943 hasConceptScore W31462943C80444323 @default.
- W31462943 hasConceptScore W31462943C86803240 @default.
- W31462943 hasLocation W314629431 @default.
- W31462943 hasOpenAccess W31462943 @default.
- W31462943 hasPrimaryLocation W314629431 @default.
- W31462943 hasRelatedWork W1566725154 @default.
- W31462943 hasRelatedWork W1994051723 @default.
- W31462943 hasRelatedWork W1995766701 @default.
- W31462943 hasRelatedWork W2081696860 @default.
- W31462943 hasRelatedWork W2121929508 @default.
- W31462943 hasRelatedWork W2336728141 @default.
- W31462943 hasRelatedWork W2352582394 @default.
- W31462943 hasRelatedWork W2513704996 @default.
- W31462943 hasRelatedWork W2740930192 @default.
- W31462943 hasRelatedWork W2770639742 @default.
- W31462943 hasRelatedWork W2794157488 @default.
- W31462943 hasRelatedWork W2803304937 @default.
- W31462943 hasRelatedWork W2893088271 @default.
- W31462943 hasRelatedWork W2936570495 @default.
- W31462943 hasRelatedWork W2956679612 @default.
- W31462943 hasRelatedWork W2986496494 @default.
- W31462943 hasRelatedWork W3106234539 @default.
- W31462943 hasRelatedWork W3117265575 @default.
- W31462943 hasRelatedWork W3208261484 @default.
- W31462943 hasRelatedWork W97250425 @default.
- W31462943 isParatext "false" @default.
- W31462943 isRetracted "false" @default.
- W31462943 magId "31462943" @default.
- W31462943 workType "article" @default.