skip to main content
Ngôn ngữ:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Kết quả 1 - 20 của 46  trong Tất cả tài nguyên

Kết quả 1 2 3 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Safety first: a two-stage algorithm for the synthesis of reactive systems

Sohail, Saqib ; Somenzi, Fabio

International Journal on Software Tools for Technology Transfer, 2013, Vol.15(5), pp.433-454 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-012-0224-3

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Almost-Sure Reachability in Stochastic Multi-Mode System

Somenzi, Fabio ; Touri, Behrouz ; Trivedi, Ashutosh

Arxiv ID: 1610.05412

Toàn văn sẵn có

3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Almost-Sure Reachability in Stochastic Multi-Mode System

Somenzi, Fabio ; Touri, Behrouz ; Trivedi, Ashutosh; Trivedi, Ashutosh (pacrepositoryorg)

arXiv.org, Oct 18, 2016

Toàn văn sẵn có

4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

Kumar, Aviral ; Somenzi, Fabio ; Touri, Behrouz ; Trivedi, Ashutosh; Trivedi, Ashutosh (pacrepositoryorg)

arXiv.org, Jul 12, 2017

Toàn văn sẵn có

5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Omega-Regular Objectives in Model-Free Reinforcement Learning

Perez, Mateo ; Schewe, Sven ; Somenzi, Fabio ; Trivedi, Ashutosh ; Wojtczak, Dominik; Wojtczak, Dominik (pacrepositoryorg)

arXiv.org, Sep 26, 2018

Toàn văn sẵn có

6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

Krishna, Shankara Narayanan ; Kumar, Aviral ; Somenzi, Fabio ; Touri, Behrouz ; Trivedi, Ashutosh

Arxiv ID: 1707.04151

Toàn văn sẵn có

7
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Omega-Regular Objectives in Model-Free Reinforcement Learning

Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven ; Somenzi, Fabio ; Trivedi, Ashutosh ; Wojtczak, Dominik

Arxiv ID: 1810.00950

Toàn văn sẵn có

8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Efficient manipulation of decision diagrams

Somenzi, Fabio

International Journal on Software Tools for Technology Transfer, 2001, Vol.3(2), pp.171-181 [Tạp chí có phản biện]

ISSN: 1433-2779 ; DOI: 10.1007/s100090100042

Toàn văn sẵn có

9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Symbolic State Exploration

Somenzi, Fabio

Electronic Notes in Theoretical Computer Science, December 2001, Vol.23(2), pp.46-56 [Tạp chí có phản biện]

ISSN: 1571-0661 ; DOI: 10.1016/S1571-0661(04)80668-6

Toàn văn sẵn có

Phiên bản sẵn có
10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Termination Criteria for Bounded Model Checking: Extensions and Comparison

Awedh, Mohammad ; Somenzi, Fabio

Electronic Notes in Theoretical Computer Science, 11 January 2006, Vol.144(1), pp.51-66 [Tạp chí có phản biện]

ISSN: 1571-0661 ; DOI: 10.1016/j.entcs.2005.07.019

Toàn văn sẵn có

Phiên bản sẵn có
11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking

Jin, Hoonsang ; Somenzi, Fabio

Electronic Notes in Theoretical Computer Science, 14 March 2005, Vol.119(2), pp.51-65 [Tạp chí có phản biện]

ISSN: 1571-0661 ; DOI: 10.1016/j.entcs.2004.06.062

Toàn văn sẵn có

Phiên bản sẵn có
12
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Deductive Verification of Infinite-State Stochastic Systems using Martingales

Chakarov, Aleksandar; Sankaranarayanan, Sriram (advisor) ; Frongillo, Rafael (committee member) ; Hammer, Matthew (committee member) ; Nori, Aditya (committee member) ; Somenzi, Fabio (committee member)

ProQuest Dissertations and Theses

ISBN: 9781369059243

Toàn văn sẵn có

13
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Enabling User Space Secure Hardware

Coughlin, Aimee; Keller, Eric (advisor) ; Grunwald, Dirk (committee member) ; Ha, Sangtae (committee member) ; Somenzi, Fabio (committee member) ; Wustrow, Eric (committee member)

ProQuest Dissertations and Theses

ISBN: 9780355965834

Toàn văn sẵn có

14
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Fate and free will in error traces

Jin, HoonSang ; Ravi, Kavita ; Somenzi, Fabio

International Journal on Software Tools for Technology Transfer, 2004, Vol.6(2), pp.102-116 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-004-0146-9

Toàn văn sẵn có

Phiên bản sẵn có
15
A Satisfiability-Based Approach to Abstraction Refinement in Model Checking1 1This work was supported in part by SRC contract 2001-TJ-920 and NSF grant CCR-99-71195.
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A Satisfiability-Based Approach to Abstraction Refinement in Model Checking1 1This work was supported in part by SRC contract 2001-TJ-920 and NSF grant CCR-99-71195.

Li, Bing ; Wang, Chao ; Somenzi, Fabio

Electronic Notes in Theoretical Computer Science, 2003, Vol.89(4), pp.608-622 [Tạp chí có phản biện]

ISSN: 15710661 ; DOI: http://dx.doi.org/10.1016/S1571-0661(05)82546-0

Toàn văn sẵn có

16
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A Satisfiability-Based Approach to Abstraction Refinement in Model Checking

Li, Bing ; Wang, Chao ; Somenzi, Fabio

Electronic Notes in Theoretical Computer Science, 2003, Vol.89(4), pp.608-622 [Tạp chí có phản biện]

ISSN: 1571-0661 ; DOI: 10.1016/S1571-0661(05)82546-0

Toàn văn sẵn có

17
Incremental, Inductive CTL Model Checking
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Incremental, Inductive CTL Model Checking

Hassan, Zyad ; Bradley, Aaron R ; Somenzi, Fabio; Madhusudan, P (Editor) ; Seshia, Sanjit A (Editor)

Lecture Notes in Computer Science, Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp.532-547

ISBN: 9783642314230 ; ISBN: 3642314236 ; E-ISBN: 9783642314247 ; E-ISBN: 3642314244 ; DOI: 10.1007/978-3-642-31424-7_38

Toàn văn sẵn có

18
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Dynamic Trace Analysis with Zero-Suppressed BDDs

Price, Graham; Vachharajani, Manish (advisor) ; Chang, Bor-Yuh Evan (committee member) ; Moseley, Tipp (committee member) ; Siek, Jeremy (committee member) ; Somenzi, Fabio (committee member)

ProQuest Dissertations and Theses

ISBN: 9781124824710

Toàn văn sẵn có

19
Material Type:
Luận văn, Luận án
Thêm vào Góc nghiên cứu

Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification

Gottschlich, Justin; Siek, Jeremy G. (advisor) ; Bradley, Aaron (committee member) ; Herlihy, Maurice (committee member) ; Somenzi, Fabio (committee member) ; Vachharajani, Manish (committee member)

ProQuest Dissertations and Theses

ISBN: 9781124620725

Toàn văn sẵn có

20
Preface
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Preface

Bloem, Roderick ; Roveri, Marco ; Somenzi, Fabio

Electronic Notes in Theoretical Computer Science, 05/2007, Vol.174(4), p.1 [Tạp chí có phản biện]

ISSN: 15710661 ; DOI: http://dx.doi.org/10.1016/j.entcs.2006.12.025

Toàn văn sẵn có

Kết quả 1 - 20 của 46  trong Tất cả tài nguyên

Kết quả 1 2 3 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (14)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2003  (5)
  2. 2003đến2005  (9)
  3. 2006đến2008  (18)
  4. 2009đến2013  (5)
  5. Sau 2013  (9)
  6. Lựa chọn khác open sub menu

Phân loại theo LCC 

  1. T - Technology .  (2)
  2. Q - Science.  (2)
  3. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...