Admissible Transition Systems with Induced Geometry and Transparent Transition Readouts
This paper develops a structural framework for discrete decision systems in which admissible transitions define the induced geometry of observable processes. The framework introduces a neighborhood-free formulation that avoids predefined graph proximity and probabilistic assumptions. Instead, admissible transition structures are treated as the primary object from which notions of geometry, paths, costs, and observable behavior are induced. A transparent Markov-type readout is constructed directly from observed transitions, separating the structural layer from stochastic interpretation. The framework is applicable to discrete transition systems, automation, human-in-the-loop systems, and explainable AI settings.
Authors
- Sari Harmoinen (ORCID: https://orcid.org/0000-0001-6121-4879)
- Mika-Petri Laakkonen (ORCID: https://orcid.org/0000-0003-3230-7958)
- Jarkko Hurme (ORCID: https://orcid.org/0009-0000-5148-6192)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-05-27
- DOI
- https://doi.org/10.5281/zenodo.20407358
- Primary Topic
- Formal Methods in Verification
- Type
- preprint