본문

  1. Home
7 Results:AA:BELTA C 0.749 sec.
RSS 
 การค้นหาขั้นสูง
 เดินทางมาถึงค้นหาวัสดุใหม่
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
พิมพ์ที่เลือก Select Export to Excel
1
Temporal Logics for Learning and Detection of Anomalous Behavior
Temporal Logics for Learning and Detection of Anomalous Behavior
Kong, Z. / Kong, Z. / 2017

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
2
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
Lahijanian, M. / Lahijanian, M. / 2015

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
3
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
Svorenova, M. / Svorenova, M. / 2015

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
4
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
Medina Ayala, A. / Medina Ayala, A. / 2014

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
5
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
Ding, X. / Ding, X. / 2014

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
6
Language-Guided Controller Synthesis for Linear Systems
Language-Guided Controller Synthesis for Linear Systems
Gol, E.A. / Gol, E.A. / 2014

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
7
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
Kloetzer, M. / Kloetzer, M. / 2008

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
처음1마지막
ประวัติการค้นหาของฉัน

เรียง
ปรับแต่ง
รูปแบบ
    E-journal
    ผู้เขียน
      ผู้เผยแพร่
        หนึ่งปี
          ภาษา