서브메뉴
검색
Stochastic Dynamic Logics- [electronic resource]
![Stochastic Dynamic Logics - [electronic resource]](/Sponge/Images/bookDefaults/DDbookdefaultsmall.png)
Stochastic Dynamic Logics- [electronic resource]
상세정보
- Material Type
- 학위논문
- 0016932099
- Date and Time of Latest Transaction
- 20240214100412
- ISBN
- 9798379712402
- DDC
- 004
- Author
- Roberts, Michael.
- Title/Author
- Stochastic Dynamic Logics - [electronic resource]
- Publish Info
- [S.l.] : Cornell University., 2023
- Publish Info
- Ann Arbor : ProQuest Dissertations & Theses, 2023
- Material Info
- 1 online resource(122 p.)
- General Note
- Source: Dissertations Abstracts International, Volume: 84-12, Section: A.
- General Note
- Advisor: Kozen, Dexter.
- 학위논문주기
- Thesis (Ph.D.)--Cornell University, 2023.
- Restrictions on Access Note
- This item must not be sold to any third party vendors.
- Abstracts/Etc
- 요약We present the semantics of two variants of Probabilistic Propositional Dynamic Logic (PPDL). Stochastic Differential Dynamic Logic is a logic for reasoning about hybrid systems with continuous state space that may evolve in continuous time according to stochastic differential equations, or in discrete time according to probabilistic or Angelic nondeterminism. Stochastic Game Logic can be seen as extending PPDL with Demonic nondeterminism, or Game Logic with probabilistic nondeterminism. For both logics, we develop sound reasoning principals over the presented semantics.
- Subject Added Entry-Topical Term
- Computer science.
- Subject Added Entry-Topical Term
- Logic.
- Index Term-Uncontrolled
- Dynamic Logics
- Index Term-Uncontrolled
- Probabilistic programming
- Index Term-Uncontrolled
- Programming language semantics
- Index Term-Uncontrolled
- Probabilistic Propositional Dynamic Logic
- Index Term-Uncontrolled
- Game Logic
- Added Entry-Corporate Name
- Cornell University Computer Science
- Host Item Entry
- Dissertations Abstracts International. 84-12A.
- Host Item Entry
- Dissertation Abstract International
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- 소장사항
-
202402 2024
- Control Number
- joongbu:640850
MARC
008240220s2023 ulk 00 kor■001000016932099
■00520240214100412
■006m o d
■007cr#unu||||||||
■020 ▼a9798379712402
■035 ▼a(MiAaPQ)AAI30486517
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aRoberts, Michael.▼0(orcid)0000-0003-3155-3516
■24510▼aStochastic Dynamic Logics▼h[electronic resource]
■260 ▼a[S.l.]▼bCornell University. ▼c2023
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2023
■300 ▼a1 online resource(122 p.)
■500 ▼aSource: Dissertations Abstracts International, Volume: 84-12, Section: A.
■500 ▼aAdvisor: Kozen, Dexter.
■5021 ▼aThesis (Ph.D.)--Cornell University, 2023.
■506 ▼aThis item must not be sold to any third party vendors.
■520 ▼aWe present the semantics of two variants of Probabilistic Propositional Dynamic Logic (PPDL). Stochastic Differential Dynamic Logic is a logic for reasoning about hybrid systems with continuous state space that may evolve in continuous time according to stochastic differential equations, or in discrete time according to probabilistic or Angelic nondeterminism. Stochastic Game Logic can be seen as extending PPDL with Demonic nondeterminism, or Game Logic with probabilistic nondeterminism. For both logics, we develop sound reasoning principals over the presented semantics.
■590 ▼aSchool code: 0058.
■650 4▼aComputer science.
■650 4▼aLogic.
■653 ▼aDynamic Logics
■653 ▼aProbabilistic programming
■653 ▼aProgramming language semantics
■653 ▼aProbabilistic Propositional Dynamic Logic
■653 ▼aGame Logic
■690 ▼a0984
■690 ▼a0395
■71020▼aCornell University▼bComputer Science.
■7730 ▼tDissertations Abstracts International▼g84-12A.
■773 ▼tDissertation Abstract International
■790 ▼a0058
■791 ▼aPh.D.
■792 ▼a2023
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16932099▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202402▼f2024
미리보기
내보내기
chatGPT토론
Ai 추천 관련 도서
Detail Info.
- Reservation
- 캠퍼스간 도서대출
- 서가에 없는 책 신고
- My Folder
