Zobrazeno 1 - 10
of 519
pro vyhledávání: '"Stokkermans A"'
We present an approach to the verification of systems for whose description some elements - constants or functions - are underspecified and can be regarded as parameters, and, in particular, describe a method for automatically generating constraints
Externí odkaz:
http://arxiv.org/abs/2310.18069
We study the problem of $P$-interpolation, where $P$ is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the $P$-interpolating terms, we use a hierarchic approach: This allows us to compute th
Externí odkaz:
http://arxiv.org/abs/2307.08843
We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obtained from specializing the hierarchical superposition calculus. If sat
Externí odkaz:
http://arxiv.org/abs/2107.02333
Autor:
Ruperti, Fabian, Becher, Isabelle, Stokkermans, Anniek, Wang, Ling, Marschlich, Nick, Potel, Clement, Maus, Emanuel, Stein, Frank, Drotleff, Bernhard, Schippers, Klaske J., Nickel, Michael, Prevedel, Robert, Musser, Jacob M., Savitski, Mikhail M., Arendt, Detlev
Publikováno v:
In Current Biology 22 January 2024 34(2):361-375
In this paper we study possibilities of using hierarchical reasoning, symbol elimination and model generation for the verification of parametric systems, where the parameters can be constants or functions. Our goal is to automatically provide guarant
Externí odkaz:
http://arxiv.org/abs/1910.05208
We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a method for iteratively strengthening certain classes of safety properties t
Externí odkaz:
http://arxiv.org/abs/1905.12524
Autor:
Mitchel Stokkermans, Wouter Staring, Michael X. Cohen, Teodoro Solis-Escalante, Vivian Weerdesteyn
Publikováno v:
Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022)
Abstract Reactive balance recovery often requires stepping responses to regain postural stability following a sudden change in posture. The monitoring of postural stability has been linked to neuroelectrical markers such as the N1 potential and midfr
Externí odkaz:
https://doaj.org/article/3e6f9e8d82a04d64a124cad699ac8722
Publikováno v:
Frontiers in Neurology, Vol 14 (2023)
Balance recovery often relies on successful stepping responses, which presumably require precise and rapid interactions between the cerebral cortex and the leg muscles. Yet, little is known about how cortico-muscular coupling (CMC) supports the execu
Externí odkaz:
https://doaj.org/article/3043f832b5744ae18e8f1ad93642c37f
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 3 (September 24, 2018) lmcs:3157
In this paper we study possibilities of interpolation and symbol elimination in extensions of a theory $\mathcal{T}_0$ with additional function symbols whose properties are axiomatised using a set of clauses. We analyze situations in which we can per
Externí odkaz:
http://arxiv.org/abs/1702.06620
We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We present a class of such systems and a class of safety properties whose
Externí odkaz:
http://arxiv.org/abs/1601.01648