Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.LO2025
Reasoning about Medical Triage Optimization with Logic Programming
Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka +2
We present a logic programming framework that orchestrates multiple variants of an optimization problem and reasons about their results to support high-stakes medical decision-maki…
math.AP2024
Coercive ISS-Lyapunov functionals for regular infinite-dimensional systems and applications
Swann Marx
This paper proposes the construction of a coercive ISS-Lyapunov functional for linear regular infinite-dimensional system. Indeed, as already known, Lyapunov functionals for infini…