Login / Signup
Kohei Shimatani
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Discrete Event
Timed Petri Nets
Temporal Constraints
Partially Observed
Top Venues
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
</>
Publications
</>
Kohei Shimatani
,
Shigemasa Takai
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(2) (2021)