Institution
Viris (Slovenia)
Recent research
- Society & EconomicsOpen access
The Scheduler Free-Energy Certificate: A One-Step Audit of Anti-Starvation Research Selection
A formally verified one-step certificate for maximum-age selection under an equal-cost deterministic reset model, paired with a reproducible audit of a versioned research-scheduling policy. The policy proposal remains unadopted, and the paper does not claim long-run optimality, e...
- AI & ComputingOpen access
Robustness Before Performance: A Governed Decision Kernel with Formally Verified Release Boundaries
A domain-independent, non-actuating robustness decision kernel with explicit evidence, authority, lineage, interval, trajectory, and release-state boundaries. The paper is reconciled to 27 named Lean theorems and 19 review checks with zero proof holes. It does not claim empirical...