{"id":"https://openalex.org/W2528403641","doi":"https://doi.org/10.1109/cca.2016.7587948","title":"Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP","display_name":"Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2528403641","doi":"https://doi.org/10.1109/cca.2016.7587948","mag":"2528403641"},"language":"en","primary_location":{"id":"doi:10.1109/cca.2016.7587948","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2016.7587948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Conference on Control Applications (CCA)","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/A5065269963","display_name":"Parasara Sridhar Duggirala","orcid":"https://orcid.org/0000-0002-8871-0298"},"institutions":[{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Parasara Sridhar Duggirala","raw_affiliation_strings":["University of Connecticut, Storrs, CT, US"],"affiliations":[{"raw_affiliation_string":"University of Connecticut, Storrs, CT, US","institution_ids":["https://openalex.org/I140172145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019603699","display_name":"Chuchu Fan","orcid":"https://orcid.org/0000-0003-4671-233X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chuchu Fan","raw_affiliation_strings":["HyST, University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"HyST, University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043090084","display_name":"Matthew Potok","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Potok","raw_affiliation_strings":["HyST, University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"HyST, University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053513193","display_name":"Bolun Qi","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bolun Qi","raw_affiliation_strings":["HyST, University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"HyST, University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085795401","display_name":"Sayan Mitra","orcid":"https://orcid.org/0000-0002-6672-8470"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sayan Mitra","raw_affiliation_strings":["HyST, University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"HyST, University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahesh Viswanathan","raw_affiliation_strings":["HyST, University of Illinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"HyST, University of Illinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Air Force Research Laboratory"],"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory","institution_ids":["https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055381376","display_name":"Sergiy Bogomolov","orcid":"https://orcid.org/0000-0002-0686-0365"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["IST, Austria"],"affiliations":[{"raw_affiliation_string":"IST, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051151589","display_name":"Luan Viet Nguyen","orcid":"https://orcid.org/0000-0001-5516-2443"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luan Viet Nguyen","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074526208","display_name":"Christian Schilling","orcid":"https://orcid.org/0000-0003-3658-1065"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Schilling","raw_affiliation_strings":["TuLiP, University of Freiburg"],"affiliations":[{"raw_affiliation_string":"TuLiP, University of Freiburg","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084578641","display_name":"Andrew Sogokon","orcid":"https://orcid.org/0000-0002-5849-7991"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Sogokon","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023289374","display_name":"Hoang-Dung Tran","orcid":"https://orcid.org/0000-0001-6946-9526"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hoang-Dung Tran","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090573416","display_name":"Weiming Xiang","orcid":"https://orcid.org/0000-0001-9065-8428"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weiming Xiang","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":14,"corresponding_author_ids":["https://openalex.org/A5065269963"],"corresponding_institution_ids":["https://openalex.org/I140172145"],"apc_list":null,"apc_paid":null,"fwci":1.8063,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.86921874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1024","last_page":"1029"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9973000288009644,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7567803263664246},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6629552245140076},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.531922459602356},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.522003710269928},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.514754056930542},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.45648193359375},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4454268217086792},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42290958762168884},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4217841625213623},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4179849624633789},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3749815821647644},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35724973678588867},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34049054980278015},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3372077941894531},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11487439274787903},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11026540398597717},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10135966539382935},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.09322327375411987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7567803263664246},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6629552245140076},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.531922459602356},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.522003710269928},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.514754056930542},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.45648193359375},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4454268217086792},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42290958762168884},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4217841625213623},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4179849624633789},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3749815821647644},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35724973678588867},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34049054980278015},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3372077941894531},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11487439274787903},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11026540398597717},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10135966539382935},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.09322327375411987},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cca.2016.7587948","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cca.2016.7587948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Conference on Control Applications (CCA)","raw_type":"proceedings-article"},{"id":"pmh:oai:pub.research-explorer.ista.ac.at:1134","is_oa":false,"landing_page_url":"https://research-explorer.ista.ac.at/record/1134","pdf_url":null,"source":{"id":"https://openalex.org/S7407055285","display_name":"Institute of Science and Technology Austria","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: <i>2016 IEEE Conference on Control Applications</i>. IEEE; 2016. doi:<a href=\"https://doi.org/10.1109/CCA.2016.7587948\">10.1109/CCA.2016.7587948</a>","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W10653132","https://openalex.org/W87504467","https://openalex.org/W94971406","https://openalex.org/W107960161","https://openalex.org/W172589331","https://openalex.org/W213397635","https://openalex.org/W618708471","https://openalex.org/W1224639136","https://openalex.org/W1497013959","https://openalex.org/W1842754478","https://openalex.org/W1986590904","https://openalex.org/W1996609162","https://openalex.org/W2004463571","https://openalex.org/W2014066180","https://openalex.org/W2047277035","https://openalex.org/W2060369194","https://openalex.org/W2068619069","https://openalex.org/W2074027094","https://openalex.org/W2078162013","https://openalex.org/W2117079884","https://openalex.org/W2117218135","https://openalex.org/W2133513409","https://openalex.org/W2134889984","https://openalex.org/W2147936671","https://openalex.org/W2154679417","https://openalex.org/W2176215692","https://openalex.org/W2240893799","https://openalex.org/W2263274487","https://openalex.org/W2274499187","https://openalex.org/W2275395948","https://openalex.org/W2291189355","https://openalex.org/W2342015760","https://openalex.org/W2600187053","https://openalex.org/W2740539992","https://openalex.org/W2930214830","https://openalex.org/W2953104596","https://openalex.org/W2963688046","https://openalex.org/W2964309890","https://openalex.org/W4248646522","https://openalex.org/W4285719527","https://openalex.org/W6639003215","https://openalex.org/W6649690402","https://openalex.org/W6677773607","https://openalex.org/W6693222476","https://openalex.org/W6694191733","https://openalex.org/W6696482261","https://openalex.org/W6735544933","https://openalex.org/W6742040983","https://openalex.org/W6761183093"],"related_works":["https://openalex.org/W2360304673","https://openalex.org/W2958154519","https://openalex.org/W2094667450","https://openalex.org/W2048936610","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W2130642229","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W113732979"],"abstract_inverted_index":{"Hybrid":[0],"systems":[1,37,64,91,98],"have":[2,38],"both":[3],"continuous":[4],"and":[5,8,26,31,68,79,84,101,104],"discrete":[6],"dynamics":[7],"are":[9],"useful":[10],"for":[11,34,48,76,138,150],"modeling":[12],"a":[13,51,54,72,96,106,128,134,143,151,158,162],"variety":[14],"of":[15,41,86,113,127],"control":[16,21],"systems,":[17,78,140],"from":[18],"air":[19],"traffic":[20],"protocols":[22],"to":[23,89,110,147],"robotic":[24],"maneuvers":[25],"beyond.":[27],"Recently,":[28],"numerous":[29],"powerful":[30],"scalable":[32],"tools":[33,43],"analyzing":[35],"hybrid":[36,63,77,97,130,139],"emerged.":[39],"Several":[40],"these":[42],"implement":[44],"automated":[45,121],"formal":[46],"methods":[47],"mathematically":[49],"proving":[50],"system":[52,152],"meets":[53,161],"specification.":[55,164],"This":[56],"tutorial":[57],"session":[58],"will":[59,156],"present":[60],"three":[61],"recent":[62,115],"tools:":[65],"C2E2,":[66],"HyST,":[67],"TuLiP.":[69],"C2E2":[70],"is":[71,95,133],"simulated-based":[73],"verification":[74,116,126],"tool":[75,137],"uses":[80,105],"validated":[81],"numerical":[82],"solvers":[83],"bloating":[85],"simulation":[87],"traces":[88],"verify":[90],"meet":[92],"specifications.":[93],"HyST":[94],"model":[99],"transformation":[100],"translation":[102],"tool,":[103],"canonical":[107],"intermediate":[108],"representation":[109],"support":[111],"most":[112],"the":[114],"tools,":[117],"as":[118,120],"well":[119],"sound":[122],"abstractions":[123],"that":[124,160],"simplify":[125],"given":[129,142,163],"system.":[131],"TuLiP":[132,155],"controller":[135,159],"synthesis":[136],"where":[141],"temporal":[144],"logic":[145],"specification":[146],"be":[148],"satisfied":[149],"(plant)":[153],"model,":[154],"find":[157]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}