Zobrazeno 1 - 10
of 438
pro vyhledávání: '"Vaandrager, P."'
A fault domain that has been widely studied in black-box conformance testing is the class of finite state machines (FSMs) with at most $k$ extra states. Numerous methods for generating test suites have been proposed that guarantee fault coverage for
Externí odkaz:
http://arxiv.org/abs/2410.19405
Autor:
Bruyère, Véronique, Garhewal, Bharat, Pérez, Guillermo A., Staquet, Gaëtan, Vaandrager, Frits W.
We present the first algorithm for query learning of a class of Mealy machines with timers in a black-box context. Our algorithm is an extension of the L# algorithm of Vaandrager et al. to a timed setting. We rely on symbolic queries which empower us
Externí odkaz:
http://arxiv.org/abs/2403.02019
The single-channel Jost function is calculated with the computational R-matrix on a Lagrange-Jacobi mesh, in order to study its behaviour at complex wavenumbers. Three potentials derived from supersymmetric transformations are used to test the accura
Externí odkaz:
http://arxiv.org/abs/2306.12216
Publikováno v:
Formal Modeling and Analysis of Timed Systems (FORMATS) 2023 pp. 33-49
In this work, we study properties of deterministic finite-state automata with timers, a subclass of timed automata proposed by Vaandrager et al. as a candidate for an efficiently learnable timed model. We first study the complexity of the configurati
Externí odkaz:
http://arxiv.org/abs/2305.07451
Autor:
Vaandrager, Frits, Wißmann, Thorsten
We provide a new perspective on the problem how high-level state machine models with abstract actions can be related to low-level models in which these actions are refined by sequences of concrete actions. We describe the connection between high-leve
Externí odkaz:
http://arxiv.org/abs/2301.00199
Publikováno v:
Public Health Challenges, Vol 3, Iss 3, Pp n/a-n/a (2024)
ABSTRACT Background Responsive feeding among infants and young children (IYC) determines their food acceptance and adequate dietary intake, which enhances growth and developmental opportunities. However, little is known about responsive feeding pract
Externí odkaz:
https://doaj.org/article/c7d9711663cd47df95fb0590fe7962a1
Autor:
Marcin K. Dziuba, Kristina M. McIntire, Kensuke Seto, Elizabeth S. Davenport, Mary A. Rogalski, Camden D. Gowler, Emma Baird, Megan Vaandrager, Cristian Huerta, Riley Jaye, Fiona E. Corcoran, Alicia Withrow, Steven Ahrendt, Asaf Salamov, Matt Nolan, Sravanthi Tejomurthula, Kerrie Barry, Igor V. Grigoriev, Timothy Y. James, Meghan A. Duffy
Publikováno v:
mBio, Vol 15, Iss 6 (2024)
ABSTRACT The impacts of microsporidia on host individuals are frequently subtle and can be context dependent. A key example of the latter comes from a recently discovered microsporidian symbiont of Daphnia, the net impact of which was found to shift
Externí odkaz:
https://doaj.org/article/00fdb08d9fbe43e299cc18ef2366f53c
We present $L^{\#}$, a new and simple approach to active automata learning. Instead of focusing on equivalence of observations, like the $L^{\ast}$ algorithm and its descendants, $L^{\#}$ takes a different perspective: it tries to establish apartness
Externí odkaz:
http://arxiv.org/abs/2107.05419
Autor:
Garhewal, Bharat, Vaandrager, Frits, Howar, Falk, Schrijvers, Timo, Lenaerts, Toon, Smits, Rob
Model learning (a.k.a. active automata learning) is a highly effective technique for obtaining black-box finite state models of software components. Thus far, generalisation to infinite state systems with inputs/outputs that carry data parameters has
Externí odkaz:
http://arxiv.org/abs/2009.09975
Autor:
Vaandrager, Frits, Midya, Abhisek
We propose a new symbolic trace semantics for register automata (extended finite state machines) which records both the sequence of input symbols that occur during a run as well as the constraints on input parameters that are imposed by this run. Our
Externí odkaz:
http://arxiv.org/abs/2007.03540