scholarly journals On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications

2020 ◽  
Vol 4 (3) ◽  
pp. 530-535 ◽  
Author(s):  
Ami Sakakibara ◽  
Toshimitsu Ushio
2020 ◽  
Vol 53 (2) ◽  
pp. 1776-1782
Author(s):  
Rômulo Meira-Góes ◽  
Christoforos Keroglou ◽  
Stéphane Lafortune

Sign in / Sign up

Export Citation Format

Share Document