Title of article
A decidable class of problems for control under partial observation
Author/Authors
Sophie Pinchinat، نويسنده , , Stéphane Riedweg، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2005
Pages
7
From page
454
To page
460
Keywords
Discrete-events systems , Optimal control , Temporal Logic , formal methods , Specification language , Supervision
Journal title
Information Processing Letters
Serial Year
2005
Journal title
Information Processing Letters
Record number
130121
Link To Document