14 entries « 4 of 5 »

Damasceno, Carlos Diego Nascimento; Mousavi, Mohammad Reza; Simao, Adenilso Silva

Learning by sampling: learning behavioral family models from software product lines Journal Article

In: Empirical Software Engineering, 26 (1), pp. 1–46, 0000.

BibTeX

Alves, Gleifer Vaz; Dennis, Louise; Fisher, Michael

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations Journal Article

In: Journal of Sensor and Actuator Networks, 10 (3), 0000, ISSN: 2224-2708.

Abstract | Links | BibTeX

Dennis, Louise A.; Bentzen, Martin Mose; Lindner, Felix; Fisher, Michael

Verifiable Machine Ethics in Changing Contexts Journal Article

In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.

Links | BibTeX

14 entries « 4 of 5 »