3 papers
math.AP2026
Variable Exponent Regularity via Muckenhoupt Condition
Daviti Adamadze, Anna Kh. Balci, Lars Diening
For the first time, we establish higher integrability of the gradient and local estimates of weak solutions to the -Laplacian without assuming -Hölder contin…
cs.SE2026
Disjunction Composition of BDD Transition Systems for Model-Based Testing
Tannaz Zameni, Petra van den Bos, Arend Rensink
We introduce a compositional approach to model-based test generation in Behavior-Driven Development (BDD). BDD is an agile methodology in which system behavior is specified through…
cs.LO2025
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
Barbara König, Arend Rensink, Lara Stoltenow +1
This paper addresses the following verification task: Given a graph transformation system and a class of initial graphs, can we guarantee (non-)reachability of a given other class…