Special issue: Formal verification of cyber-physical systems
Geretti, L Abate, A Nuzzo, P Villa, T Information and Computation volume 289 104979 (Nov 2022) doi:10.1016/j.ic.2022.104979
On the correspondence between symmetries of two-dimensional autonomous dynamical systems and their phase plane realisations
Ohlsson, F Borgqvist, J Baker, R (09 Dec 2022) https://arxiv.org/abs/2212.04847v1
The Generalized Falsification Adaptive Set for Violations of the Exclusion Restriction and Exogeneity
Apfel, N Windmeijer, F (09 Dec 2022) https://arxiv.org/abs/2212.04814v3
A Graphical Calculus for Lagrangian Relations
Comfort, C Kissinger, A Electronic Proceedings in Theoretical Computer Science volume 372 338-351 (03 Nov 2022) doi:10.4204/eptcs.372.24
Explaining cosmic ray antimatter with secondaries from old supernova remnants
Mertsch, P Vittino, A Sarkar, S Proceedings of Science volume 395 (18 Mar 2022)
Subscribe to