2020年12月
Symbolic Self-Triggered Control of Continuous-Time Non-Deterministic Systems without Stability Assumptions for 2-LTL Specifications
ICARCV 2020
- ,
- ,
- 記述言語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
デュブ ジェレミー
Jérémy Dubut
更新日: 01/30