699 citations
- Centre National de la Recherche ScientifiqueFR25 papers
- Max Planck Institute for InformaticsDE24 papers
- German Research Centre for Artificial IntelligenceDE13 papers
- Karlsruhe Institute of TechnologyDE11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Helmholtz Center for Information SecurityDE10 papers
- Leipzig UniversityDE10 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- Institute for Solid State Physics and OpticsHU9 papers
- Max Planck SocietyDE9 papers
- RWTH Aachen UniversityDE9 papers
- Universität HamburgDE8 papers
17 papers · 1 filter
The Tractability Border of Reachability in Simple Vector Addition Systems with States
Dmitry Chistikov, Wojciech Czerwiński, Filip Mazowiecki +3
Vector Addition Systems with States (VASS), equivalent to Petri nets, are a well-established model of concurrency. The central algorithmic challenge in VASS is the reachability pro…
J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja +1
Markov decision processes (MDPs) with rewards are a widespread and well-studied model for systems that make both probabilistic and nondeterministic choices. A fundamental result ab…
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
Roland Leißa, Marcel Ulrich, Joachim Meyer +1
Traditional compilers, designed for optimizing low-level code, fall short when dealing with modern, computation-heavy applications like image processing, machine learning, or numer…
IPN-V: The Interplanetary Network Visualizer
Alice Le Bihan, Juan A. Fraire, Pierre Francois +1
The Interplanetary Network (IPN) emerges as the backbone for communication between various spacecraft and satellites orbiting distant celestial bodies. This paper introduces the In…
Margination of artificially stiffened red blood cells
Revaz D. Chachanidze, Othmane Aouane, Jens Harting +2
Margination, a fundamental process in which leukocytes migrate from the flowing blood to the vessel wall, is well-documented in physiology. However, it is still an open question on…
A Stability-first Approach to Running TCP over Starlink
Gregory Stock, Juan A. Fraire, Santiago Henn +2
The end-to-end connectivity patterns between two points on Earth are highly volatile if mediated via a Low-Earth orbit (LEO) satellite constellation. This is rooted in the enormous…