{"id":"https://openalex.org/W2567548660","doi":"https://doi.org/10.1109/cdc.2016.7799031","title":"A stochastically verifiable autonomous control architecture with reasoning","display_name":"A stochastically verifiable autonomous control architecture with reasoning","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2567548660","doi":"https://doi.org/10.1109/cdc.2016.7799031","mag":"2567548660"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2016.7799031","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2016.7799031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 55th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102488089","display_name":"Paolo Izzo","orcid":null},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Paolo Izzo","raw_affiliation_strings":["ACSE, The University of Sheffield"],"affiliations":[{"raw_affiliation_string":"ACSE, The University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059964100","display_name":"Hongyang Qu","orcid":"https://orcid.org/0000-0002-1643-8926"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hongyang Qu","raw_affiliation_strings":["ACSE, The University of Sheffield"],"affiliations":[{"raw_affiliation_string":"ACSE, The University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058754653","display_name":"S\u00e1ndor M. Veres","orcid":"https://orcid.org/0000-0003-0325-0710"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sandor M. Veres","raw_affiliation_strings":["ACSE, The University of Sheffield"],"affiliations":[{"raw_affiliation_string":"ACSE, The University of Sheffield","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102488089"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":null,"apc_paid":null,"fwci":1.7424,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.86901755,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"74","issue":null,"first_page":"4985","last_page":"4991"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8180537819862366},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6908009052276611},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5711262226104736},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.5274596214294434},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5184852480888367},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5115236043930054},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4868830740451813},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.46135377883911133},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4408242106437683},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4212288558483124},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35470306873321533},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3525005877017975},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32411569356918335},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27784445881843567},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21188867092132568}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8180537819862366},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6908009052276611},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5711262226104736},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.5274596214294434},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5184852480888367},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5115236043930054},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4868830740451813},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.46135377883911133},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4408242106437683},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4212288558483124},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35470306873321533},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3525005877017975},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32411569356918335},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27784445881843567},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21188867092132568},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2016.7799031","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2016.7799031","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 55th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W8140010","https://openalex.org/W29883540","https://openalex.org/W211918120","https://openalex.org/W1490251686","https://openalex.org/W1497120980","https://openalex.org/W1516256348","https://openalex.org/W1596186423","https://openalex.org/W1598584054","https://openalex.org/W1763790326","https://openalex.org/W1809182522","https://openalex.org/W1862398452","https://openalex.org/W1960279208","https://openalex.org/W1976097854","https://openalex.org/W1997929601","https://openalex.org/W2000228259","https://openalex.org/W2005998857","https://openalex.org/W2020787985","https://openalex.org/W2084883566","https://openalex.org/W2095156325","https://openalex.org/W2095995891","https://openalex.org/W2106172458","https://openalex.org/W2115309705","https://openalex.org/W2124344619","https://openalex.org/W2134991157","https://openalex.org/W2145790759","https://openalex.org/W2145899763","https://openalex.org/W2163854732","https://openalex.org/W2164989576","https://openalex.org/W2171480813","https://openalex.org/W2296400517","https://openalex.org/W2316566338","https://openalex.org/W2402139032","https://openalex.org/W4237737571","https://openalex.org/W4243369158","https://openalex.org/W4254079979","https://openalex.org/W6600358712","https://openalex.org/W6629349481","https://openalex.org/W6635917288","https://openalex.org/W6640995782","https://openalex.org/W6674526314","https://openalex.org/W6712592528"],"related_works":["https://openalex.org/W1984757784","https://openalex.org/W1497573972","https://openalex.org/W3158759410","https://openalex.org/W4307454606","https://openalex.org/W3024790134","https://openalex.org/W2117053435","https://openalex.org/W3097045895","https://openalex.org/W3000188027","https://openalex.org/W4287905824","https://openalex.org/W4287779238"],"abstract_inverted_index":{"A":[0],"new":[1,16],"agent":[2,76,84],"architecture":[3,17],"called":[4],"Limited":[5],"Instruction":[6],"Set":[7],"Agent":[8],"(LISA)":[9],"is":[10,18,27,61,124],"introduced":[11],"for":[12,71,80,103,115,137],"autonomous":[13],"control.":[14],"The":[15,43,65,83,107,121],"based":[19],"on":[20],"previous":[21],"implementations":[22],"of":[23,36,45,54,74,139],"AgentSpeak":[24],"and":[25,39,59,63,77,118,126],"it":[26],"structurally":[28],"simpler":[29],"than":[30],"its":[31],"predecessors":[32],"with":[33,105],"the":[34,47,75,78,129],"aim":[35],"facilitating":[37],"design-time":[38,117],"run-time":[40,119,122],"verification":[41,104,123],"methods.":[42],"process":[44],"abstracting":[46],"LISA":[48,66,130],"system":[49,67,131],"to":[50],"two":[51],"different":[52],"types":[53],"discrete":[55],"probabilistic":[56,81],"models":[57],"(DTMC":[58],"MDP)":[60],"investigated":[62,125],"illustrated.":[64],"provides":[68],"a":[69,91,97],"tool":[70],"complete":[72],"modelling":[73,135],"environment":[79],"verification.":[82,120],"program":[85],"can":[86,112],"be":[87,113],"automatically":[88,108],"compiled":[89],"into":[90],"Discrete-Time":[92],"Markov":[93,98],"Chain":[94],"(DTMC)":[95],"or":[96],"Decision":[99],"Process":[100],"(MDP)":[101],"model":[102,111],"PRISM.":[106],"generated":[109],"PRISM":[110],"used":[114],"both":[116],"illustrated":[127],"in":[128],"as":[132],"an":[133],"internal":[134],"mechanism":[136],"prediction":[138],"future":[140],"outcomes.":[141]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}