서브메뉴
검색
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications / Medina Ayala, A. ; Andersson, S. B. ; Belta, C.
- 형태사항
- pp. 2568
- 기타저자
- Medina Ayala, A.
- 기타저자
- Andersson, S. B.
- 기타저자
- Belta, C.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:342001
MARC
008170928s2014 a a kor■022 ▼a00189286
■245 ▼aFormal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications▼dMedina Ayala, A.▼eAndersson, S. B.▼eBelta, C.
■300 ▼app. 2568
■7001 ▼aMedina Ayala, A.
■7001 ▼aAndersson, S. B.
■7001 ▼aBelta, C.
■773 ▼tIEEE transactions on Automatic Control▼gv.59 n.9▼d2014, 09
■SIS ▼aKS029399▼b63263▼h3▼sG
