서브메뉴
검색
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems / Wongpiromsarn, T. ; Topcu, U. ; Lamperski, A.
- 형태사항
- pp. 3344
- 기타저자
- Wongpiromsarn, T.
- 기타저자
- Topcu, U.
- 기타저자
- Lamperski, A.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:343839
MARC
008171010s2016 a a kor■022 ▼a00189286
■245 ▼aAutomata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems▼dWongpiromsarn, T.▼eTopcu, U.▼eLamperski, A.
■300 ▼app. 3344
■7001 ▼aWongpiromsarn, T.
■7001 ▼aTopcu, U.
■7001 ▼aLamperski, A.
■773 ▼tIEEE transactions on Automatic Control▼gv.61 n.11▼d2016, 11
■SIS ▼aKS033366▼b63263▼h3▼sG
