Binary intersection formalized
We provide a reformulation and a formalization of the classical result by Juhani Karhum\"aki characterizing intersections of two languages of the form $\{x,y\}^*\cap \{u,v\}^*$. We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way, and we formalize the result in the proof assistant Isabelle/HOL.
Code (1)
Similar Papers 제목 키워드 기반
Multimodal Trajectory Prediction via Topological Invariance for Navigation at Uncontrolled Intersections
We focus on decentralized navigation among multiple non-communicating rational agents at \emph{uncontrolled} intersections, i.e., street intersections without traffic signs or signals. Avoiding collisions in such domains…
PredictionTrajectory PredictionTopological Classification of points in $Z^2$ by using Topological Numbers for $2$D discrete binary images
In this paper, we propose a topological classification of points for 2D discrete binary images. This classification is based on the values of the calculus of topological numbers. Six classes of points are proposed: isola…
ClassificationBinary Expansion Group Intersection Network
Conditional independence is central to modern statistics, but beyond special parametric families it rarely admits an exact covariance characterization. We introduce the binary expansion group intersection network (BEGIN)…
Intersection Prediction from Single 360° Image via Deep Detection of Possible Direction of Travel
Movie-Map, an interactive first-person-view map that engages the user in a simulated walking experience, comprises short 360{\deg} video segments separated by traffic intersections that are seamlessly connected according…
Binary ClassificationThinking Machines: Mathematical Reasoning in the Age of LLMs
Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. This progress has naturally motivated effo…
Mathematical ReasoningCode Generation