https://m2.mtmt.hu/ hun 2026-06-27 19:38 JournalArticle 32394785 VALIDATED true 0 false 2026-05-21T06:52:26.013+0000 2022-11-15T13:31:58.808+0000 2021-10-15T05:22:38.809+0000 true 10067876 Ladányi Gusztáv /api/admin/10067876 Admin Ladányi Gusztáv (MTMT API user, admin) true 2024-10-24T20:09:38.559+0000 2022-11-15T13:31:59.094+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin Andódy Katalin (BME admin4) true Admin 10067876 /api/admin/10067876 Ladányi Gusztáv (MTMT API user, admin) Ladányi Gusztáv true true Admin 10003132 /api/admin/10003132 Balázs András (MTMT Központ, admin) Balázs András true 10003132 true 2024-10-17T17:00:42.053+0000 true false true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType Szakcikk (Folyóiratcikk) 101 true 10000059 true 1 /api/category/1 Category Tudományos true 1 Babikian, Aren A. true true /api/journal/10010298 REVIEWED SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374 true false 10010298 false 10010298 true 1619-1366 1619-1374 Journal FOREIGN 21 5 1763 1787 1763 25 2022 Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving to ensure a designated coverage of critical corner cases. An inconsistent model is irrelevant as a test case (e.g., false positive); thus, each synthetic model needs to simultaneously satisfy various structural and attribute constraints, which includes complex geometric constraints for traffic scenarios. While different logic solvers or dedicated graph solvers have recently been developed, they fail to handle either structural or attribute constraints in a scalable way. In the current paper, we combine a structural graph solver that uses partial models with an SMT-solver and a quadratic solver to automatically derive models which simultaneously fulfill structural and numeric constraints, while key theoretical properties of model generation like completeness or diversity are still ensured. This necessitates a sophisticated bidirectional interaction between different solvers which carry out consistency checks, decision, unit propagation, concretization steps. Additionally, we introduce custom exploration strategies to speed up model generation. We evaluate the scalability and diversity of our approach, as well as the influence of customizations, in the context of four complex case studies. 2021 true true true false true false GOLD 2026-05-21 true https://doi.org/10.1007/s10270-021-00918-6 6 0 6 1 1 6 6 6 5 6 6 1 1 1 5 0 6 1 6 1 0 14 14 Folyóiratcikk Journal Article 24 2 Könyvrészlet Chapter in Book 25 4 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 0 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 0 Egyéb Miscellaneous 29 0 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 0 0 Könyvrészlet Chapter in Book 25 0 0 0 Könyv Book 23 0 0 0 Egyéb konferenciaközlemény Conference paper 31 0 0 0 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 0 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2024 0 5 0 5 0 2025 0 1 1 1 1 Q2 false false false false 2022-02-14T09:22:45.882+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 3 9 2 5 0 true 10003132 10067876 Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 98634517 /api/authorship/98634517 Babikian, Aren A. ✉ 1 0.2 true false true Babikian Aren A. true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 98634518 /api/authorship/98634518 Semerath, Oszkar [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 2 0.2 false false false Author 10045161 /api/author/10045161 Semeráth Oszkár (Informatika) Semeráth Oszkár true 10045161 true Semerath Oszkar true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 98634519 /api/authorship/98634519 Li, Anqi 3 0.2 false false false Li Anqi true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 98634520 /api/authorship/98634520 Marussy, Kristof [Marussy, Kristóf (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 4 0.2 false false false Author 10062709 /api/author/10062709 Marussy Kristóf (informatika) Marussy Kristóf true 10062709 true Marussy Kristof true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 98634521 /api/authorship/98634521 Varro, Daniel [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 5 0.2 false true false Author 10001355 /api/author/10001355 Varró Dániel (Informatika, szoftvertechnológia) Varró Dániel true 10001355 true Varro Daniel true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 19889600 /api/publicationidentifier/19889600 DOI: 10.1007/s10270-021-00918-6 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.1007/s10270-021-00918-6 https://doi.org/10.1007/s10270-021-00918-6 false true PublicationIdentifier 19889599 /api/publicationidentifier/19889599 WoS: 000696426800001 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 000696426800001 https://www.webofscience.com/wos/woscc/full-record/000696426800001 false true PublicationIdentifier 19889607 /api/publicationidentifier/19889607 Scopus: 85115064925 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 85115064925 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85115064925 false true PublicationIdentifier 27683917 /api/publicationidentifier/27683917 PubMed: 36196213 PlainSource 17 /api/publicationsource/17 PubMed PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true PubMed PubMed http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&list_uids=@@@&dopt=Abstract true true 17 true IDENTICAL 36196213 http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&list_uids=36196213&dopt=Abstract false true Classification 10034 /api/classification/10034 Számítás- és információtudomány true true Keyword 1172809 /api/keyword/1172809 Model generation true 1172809 true Keyword 2469417 /api/keyword/2469417 Exploration strategy true true Keyword 2480980 /api/keyword/2480980 Partial model true true Keyword 2480981 /api/keyword/2480981 Graph solver true true Keyword 2480982 /api/keyword/2480982 SMT-solver true true Keyword 2480983 /api/keyword/2480983 Numeric solver true true Keyword 2480984 /api/keyword/2480984 Test scenario synthesis true true SjrRating 11308358 /api/sjrrating/11308358 sjr:Q2 (2022) Scopus - Modeling and Simulation SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374 87 0.49 journal RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 2611 /api/classificationexternal/2611 Scopus - Modeling and Simulation true 2611 true Q2 DIRECT true true /api/publication/32394785 Babikian Aren A. et al. Automated generation of consistent models using qualitative abstractions and exploration strategies. (2022) SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374 21 5 1763-1787<div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" >Babikian Aren A. ✉ </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10045161"><a href="/gui2/?type=authors&mode=browse&sel=10045161" target="_blank">Semerath Oszkar (<span class="authorship-author-name">Semeráth Oszkár</span> <span class="authorAux-mtmt"> Informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" >Li Anqi </span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10062709"><a href="/gui2/?type=authors&mode=browse&sel=10062709" target="_blank">Marussy Kristof (<span class="authorship-author-name">Marussy Kristóf</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10001355"><a href="/gui2/?type=authors&mode=browse&sel=10001355" target="_blank">Varro Daniel (<span class="authorship-author-name">Varró Dániel</span> <span class="authorAux-mtmt"> Informatika, szoftvertechnológia</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;32394785" target="_blank">Automated generation of consistent models using qualitative abstractions and exploration strategies</a></div> <div> <span class="journal-title">SOFTWARE AND SYSTEMS MODELING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1619-1366">1619-1366</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1619-1374">1619-1374</a>)</span>: <span class="journal-volume">21</span> <span class="journal-issue">5</span> <span class="page"> pp 1763-1787 </span> <span class="year">(2022)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1007/s10270-021-00918-6" target="_blank" href="https://doi.org/10.1007/s10270-021-00918-6"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000696426800001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000696426800001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85115064925" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85115064925"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="36196213" target="_blank" href="http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=PubMed&list_uids=36196213&dopt=Abstract"> PubMed </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Modeling and Simulation&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Software&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 6</span> | Független: 1 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt:&nbsp;5 | WoS/Scopus jelölt:&nbsp;6 | DOI jelölt:&nbsp;6 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;32394785&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 14 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 32394785</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">WoS-XML</span> </div> <div class="lastModified">Utolsó módosítás: 2022.11.15. 14:31 Andódy Katalin (BME admin4) </div> <div class="lockedBy">Központi kezelésű 2024.10.17. 19:00 Ladányi Gusztáv (MTMT API user, admin) Balázs András (MTMT Központ, admin) </div> </div></div>