...
机译:决定协同观测是PSPACE完整的
computational complexity; deterministic automata; discrete event systems; finite automata; observability; PSPACE-completeness; co-observability; computational complexity; decentralized supervisor existence; deterministic finite-state automata intersection problem;
机译:用于离散事件系统的延迟共同可观察性的验证
机译:有关可控制性,可观察性和可共同观察性的公式
机译:“无法决定”:适当的不确定决定之间的细线与不合理的决定不决定
机译:决定ptNFA的通用性是PSPACE-Complete
机译:它如何决定在该领土上?采矿冲突治理。 Andalgalá,Catamarca和Famatina,在La Rioja的病例。 (2005-2016)=谁决定领土?采矿冲突治理:西门田和名人的Andalgalá病例
机译:校正:决定不决定:顺序选择中隐藏行为的计算和神经证据
机译:确定带有预着色的图的在线色数为PSPACE-complete