Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138512963> ?p ?o ?g. }
- W2138512963 endingPage "359" @default.
- W2138512963 startingPage "305" @default.
- W2138512963 abstract "We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex logical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this development. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a separate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems." @default.
- W2138512963 created "2016-06-24" @default.
- W2138512963 creator A5001487424 @default.
- W2138512963 creator A5033090798 @default.
- W2138512963 creator A5040721287 @default.
- W2138512963 creator A5057274980 @default.
- W2138512963 creator A5058754653 @default.
- W2138512963 date "2014-09-06" @default.
- W2138512963 modified "2023-10-05" @default.
- W2138512963 title "Practical verification of decision-making in agent-based autonomous systems" @default.
- W2138512963 cites W1425169144 @default.
- W2138512963 cites W1476314489 @default.
- W2138512963 cites W1497558263 @default.
- W2138512963 cites W1503257619 @default.
- W2138512963 cites W1506588809 @default.
- W2138512963 cites W1507793072 @default.
- W2138512963 cites W1510984323 @default.
- W2138512963 cites W1522694098 @default.
- W2138512963 cites W1528130211 @default.
- W2138512963 cites W1544543122 @default.
- W2138512963 cites W1552797176 @default.
- W2138512963 cites W1559438333 @default.
- W2138512963 cites W1574918374 @default.
- W2138512963 cites W1581665037 @default.
- W2138512963 cites W1587361919 @default.
- W2138512963 cites W1587990038 @default.
- W2138512963 cites W1607782211 @default.
- W2138512963 cites W1608490958 @default.
- W2138512963 cites W1625904081 @default.
- W2138512963 cites W1705210632 @default.
- W2138512963 cites W1882469238 @default.
- W2138512963 cites W1885714377 @default.
- W2138512963 cites W1949026440 @default.
- W2138512963 cites W197042430 @default.
- W2138512963 cites W1973593195 @default.
- W2138512963 cites W198400421 @default.
- W2138512963 cites W1990751107 @default.
- W2138512963 cites W1994598309 @default.
- W2138512963 cites W2004463571 @default.
- W2138512963 cites W2004550196 @default.
- W2138512963 cites W2005973420 @default.
- W2138512963 cites W2012532049 @default.
- W2138512963 cites W2012935476 @default.
- W2138512963 cites W2020787985 @default.
- W2138512963 cites W2031543345 @default.
- W2138512963 cites W2038952689 @default.
- W2138512963 cites W2039706310 @default.
- W2138512963 cites W2045185312 @default.
- W2138512963 cites W2049934619 @default.
- W2138512963 cites W2060095702 @default.
- W2138512963 cites W2060369194 @default.
- W2138512963 cites W2068394020 @default.
- W2138512963 cites W2080593426 @default.
- W2138512963 cites W2090551028 @default.
- W2138512963 cites W2095156325 @default.
- W2138512963 cites W2099308299 @default.
- W2138512963 cites W2104619509 @default.
- W2138512963 cites W2106172458 @default.
- W2138512963 cites W2107872611 @default.
- W2138512963 cites W2117013774 @default.
- W2138512963 cites W2117218135 @default.
- W2138512963 cites W2120811645 @default.
- W2138512963 cites W2121909093 @default.
- W2138512963 cites W2133881934 @default.
- W2138512963 cites W2134991157 @default.
- W2138512963 cites W2137073013 @default.
- W2138512963 cites W2145899763 @default.
- W2138512963 cites W2147340401 @default.
- W2138512963 cites W2152185829 @default.
- W2138512963 cites W2168417750 @default.
- W2138512963 cites W2171480813 @default.
- W2138512963 cites W2431139695 @default.
- W2138512963 cites W2487779201 @default.
- W2138512963 cites W3140652697 @default.
- W2138512963 cites W3168224710 @default.
- W2138512963 cites W4210895696 @default.
- W2138512963 cites W4231469865 @default.
- W2138512963 doi "https://doi.org/10.1007/s10515-014-0168-9" @default.
- W2138512963 hasPublicationYear "2014" @default.
- W2138512963 type Work @default.
- W2138512963 sameAs 2138512963 @default.
- W2138512963 citedByCount "72" @default.
- W2138512963 countsByYear W21385129632015 @default.
- W2138512963 countsByYear W21385129632016 @default.
- W2138512963 countsByYear W21385129632017 @default.
- W2138512963 countsByYear W21385129632018 @default.
- W2138512963 countsByYear W21385129632019 @default.
- W2138512963 countsByYear W21385129632020 @default.
- W2138512963 countsByYear W21385129632021 @default.
- W2138512963 countsByYear W21385129632022 @default.
- W2138512963 countsByYear W21385129632023 @default.
- W2138512963 crossrefType "journal-article" @default.
- W2138512963 hasAuthorship W2138512963A5001487424 @default.
- W2138512963 hasAuthorship W2138512963A5033090798 @default.
- W2138512963 hasAuthorship W2138512963A5040721287 @default.
- W2138512963 hasAuthorship W2138512963A5057274980 @default.
- W2138512963 hasAuthorship W2138512963A5058754653 @default.
- W2138512963 hasBestOaLocation W21385129631 @default.