Searched for: subject:"Formal%5C+logic"
(1 - 3 of 3)
document
Paardekooper, J.P. (author), Comi, M. (author), Grappiolo, C. (author), Snijders, R. (author), van Vught, W. (author), Beekelaar, R. (author)
An increasing number of tasks is being taken over from the human driver as automated driving technology is developed. Accidents have been reported in situations where the automated driving technology was not able to function according to specifications. As data-driven Artificial Intelligence (AI) systems are becoming more ubiquitous in automated...
conference paper 2021
document
Keshishzadeh, S. (author), Mooij, A.J. (author), Reza Mousavi, M. (author)
In the context of Domain Specific Languages (DSLs), we study ways to detect faults early in the software development cycle. We propose techniques that validate a wide range of properties, classified into basic and advanced. Basic validation includes syntax checking, reference checking and type checking. Advanced validation concerns domain...
conference paper 2013
document
Lageweg, C.R. (author), Janssen, J.A.A.J. (author), Ditzel, M. (author), TNO Defensie en Veiligheid (author)
This paper presents the results of a study on the effects of data aggregation for target tracking in wireless sensor networks. In these networks energy, computing power and communication bandwidth are scarce. A novel approach towards data aggregation is proposed. It is tested in a simulation environment and compared with more straightforward...
bookPart 2006