Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Monahan, Rosemary"'
Autor:
Bukhari, Syed Ali Asadullah, Flinkow, Thomas, Inkarbekov, Medet, Pearlmutter, Barak A., Monahan, Rosemary
Publikováno v:
EPTCS 411, 2024, pp. 178-190
The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification. In this paper we present an experience report, describing a case study which we undertook to explore the design and training of a neural
Externí odkaz:
http://arxiv.org/abs/2411.14163
Extensive research on formal verification of machine learning systems indicates that learning from data alone often fails to capture underlying background knowledge such as specifications implicitly available in the data. Various neural network verif
Externí odkaz:
http://arxiv.org/abs/2407.03847
Publikováno v:
EPTCS 395, 2023, pp. 17-29
Extensive research on formal verification of machine learning (ML) systems indicates that learning from data alone often fails to capture underlying background knowledge. A variety of verifiers have been developed to ensure that a machine-learnt mode
Externí odkaz:
http://arxiv.org/abs/2311.09809
This study provides a comprehensive review of the utilization of Virtual Reality (VR) for visualizing Artificial Intelligence (AI) systems, drawing on 18 selected studies. The results illuminate a complex interplay of tools, methods, and approaches,
Externí odkaz:
http://arxiv.org/abs/2306.15545
Although the advantages of just-in-time compilation over traditional interpretive execution are widely recognised, there needs to be more current research investigating and repositioning the performance differences between these two execution models
Externí odkaz:
http://arxiv.org/abs/2304.06460
Publikováno v:
EPTCS 362, 2022, pp. 15-22
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on more tasks in both day-to-day areas and highly specialised domains. Robot
Externí odkaz:
http://arxiv.org/abs/2207.09706
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring for formal
Externí odkaz:
http://arxiv.org/abs/2201.04531
[Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements elicitation and some of these also support formalisation of requiremen
Externí odkaz:
http://arxiv.org/abs/2112.04251
Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system's reachable states. Formal methods are mathematically-based technique
Externí odkaz:
http://arxiv.org/abs/2110.09277
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 4 (November 9, 2022) lmcs:7286
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets the validity requirements for satisfaction preservation and model amal
Externí odkaz:
http://arxiv.org/abs/2103.10881