Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

Autor: Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Publikováno v: Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)

We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic

Externí odkaz: https://doaj.org/article/8cf88ea70ad8446b89a6be0bf5f72a98

Computable analysis with applications to dynamic systems

Autor: Pieter Collins

Publikováno v: Mathematical Structures in Computer Science, 30(2):096012952000002, 173-233. Cambridge University Press

Numerical computation is traditionally performed using floating-point arithmetic and truncated forms of infinite series, a methodology which allows for efficient computation at the cost of some accuracy. For most applications, these errors are entire

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d6c983666c9e9cb10a00b36a4d00b3c
https://doi.org/10.1017/s096012952000002x

ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics

Autor: Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger

Publikováno v: Geretti, L, Alexandre Dit Sandretto, J, Althoff, M, Benet, L, Collins, P, Duggirala, P S, Forets, M, Kim, E, Mitsch, S, Schilling, C & Wetzlinger, M 2022, ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics . in G Frehse, M Althoff, E Schoitsch & J Guiochet (eds), 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) . EasyChair, EPiC Series in Computing, vol. 90, pp. 58-85, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, 06/09/2022 . https://doi.org/10.29007/fnzc

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid S

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::433d8ae018629c63bc2c4dfc7b11d3d0
https://vbn.aau.dk/da/publications/7b2bc7c4-95bb-487b-a2f4-ee56118e8e5a

Explainable AI through the Learning of Arguments

Autor: Jonas Bei, David Pomerenke, Lukas Schreiner, Sepideh Sharbaf, Pieter Collins, Nico Roos

Publikováno v: Maastricht University
Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN, 241-255
STARTPAGE=241;ENDPAGE=255;TITLE=Proceedings of BNAIC/BeneLearn 2021

Learning arguments is highly relevant to the field of explainable artificial intelligence. It is a family of symbolic machine learning techniques that is particularly human-interpretable. These techniques learn a set of arguments as an intermediate r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::605c3c829cf51f71f0eed18d8226aaf5

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Autor: Pieter Collins, Fabian Immler, Niklas Kochdumper, Christian Schilling, Luis Benet, Alexandre Chapoutot, Julien Alexandre Dit Sandretto, David P. Sanders, Xin Chen, Daniel Freire, Matthias Althoff, Luca Geretti, Marcelo Forets

Publikováno v: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
ARCH
EPiC Series in Computing volume 74

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid S

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40e5d218e327298b7d9e22f57c5b92c5