algorithm debugging 1astrobiology 1chemical evolution 1counterexample shrinking 1dwarf galaxies 1galactic archaeology 1interstellar ice 1magnesium isotopes 1parametric timed automata 1peptide formation 1prebiotic molecules 1quantitative automata 1
From the 3 of 31 papers with an AI index.
25 citations
- Aarhus University HospitalDK3 papers
- University of TurkuFI3 papers
- Astronomical Observatory of CapodimonteIT2 papers
- Brera Astronomical ObservatoryIT2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- GSI Helmholtz Centre for Heavy Ion ResearchDE2 papers
- Monash UniversityAU2 papers
- Osservatorio Astrofisico di CataniaIT2 papers
- Osservatorio Astronomico di PadovaIT2 papers
- Queen's University BelfastGB2 papers
- Technische Universität DarmstadtDE2 papers
- Turku Centre for Computer ScienceFI2 papers
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Random Generation of Small Quantitative Automata for Algorithm Debugging
Mikael Bisgaard Dahlsen-Jensen, Jaco van de Pol
The paper presents a framework that automatically generates small, non‑degenerate quantitative automata, checks them against a target property, and shrinks any violations to minima…
cs.FL2026
State-Space Abstractions for Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Laure Petrucci, Jaco van de Pol
Synthesizing controllers for real-time systems under both timing uncertainty and adversarial environments requires exploring prohibitively large symbolic state spaces. While zone i…