Document - X-by-Construction meets AI

2024

Conference article Open Access

X-by-Construction meets AI

Ter Beek M. H., Cleophas L., Dubslaff C., Schaefer I.

Systems-of-systems Quantitative modelling and analysis Synthesis Correctness-by-construction Non-functional properties Machine learning AI Probabilistic systems Performance

During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.

Source: LECTURE NOTES IN COMPUTER SCIENCE, vol. 15222, pp. 155-161. Crete, Greece, 27-31/10/2024

Publisher: Springer

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:iris.cnr.it:20.500.14243/509265,
	title = {X-by-Construction meets AI},
	author = {Ter Beek M.  H. and Cleophas L. and Dubslaff C. and Schaefer I.},
	publisher = {Springer},
	doi = {10.1007/978-3-031-75387-9_10},
	booktitle = {LECTURE NOTES IN COMPUTER SCIENCE, vol. 15222, pp. 155-161. Crete, Greece, 27-31/10/2024},
	year = {2024}
}