Cargando…
Automated generation of consistent models using qualitative abstractions and exploration strategies
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...
Autores principales: | Babikian, Aren A., Semeráth, Oszkár, Li, Anqi, Marussy, Kristóf, Varró, Dániel |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer Berlin Heidelberg
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9525443/ https://www.ncbi.nlm.nih.gov/pubmed/36196213 http://dx.doi.org/10.1007/s10270-021-00918-6 |
Ejemplares similares
-
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
por: Babikian, Aren A., et al.
Publicado: (2020) -
Foundations for Streaming Model Transformations by Complex Event Processing
por: Dávid, István, et al.
Publicado: (2016) -
Detection and quantification of flow consistency in business process models
por: Burattin, Andrea, et al.
Publicado: (2017) -
Un/familiar connections: on the relevance of a sociology of personal life for exploring egg and sperm donation
por: Nordqvist, Petra
Publicado: (2019) -
Automated conceptual model clustering: a relator-centric approach
por: Guizzardi, Giancarlo, et al.
Publicado: (2021)