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 (01 Jul 2026) doi:10.48550/arxiv.2212.04814
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 Physical Review D: Particles, Fields, Gravitation and Cosmology volume 395 (22 Nov 2021) doi:10.1103/PhysRevD.104.103029
Subscribe to