skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Bloem, Roderick remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Parameterized Synthesis
Parameterized Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Synthesis

Jacobs, Swen ; Bloem, Roderick

Logical methods in computer science, 2014-02, Vol.10, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Correct-by-Construction Runtime Enforcement in AI -- A Survey
Correct-by-Construction Runtime Enforcement in AI -- A Survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correct-by-Construction Runtime Enforcement in AI -- A Survey

Könighofer, Bettina ; Bloem, Roderick ; Ehlers, Rüdiger ; Pek, Christian

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Online Shielding for Reinforcement Learning
Online Shielding for Reinforcement Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Online Shielding for Reinforcement Learning

Könighofer, Bettina ; Julian, Rudolf ; Palmisano, Alexander ; Tappler, Martin ; Bloem, Roderick

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Threat Repair with Optimization Modulo Theories
Threat Repair with Optimization Modulo Theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Threat Repair with Optimization Modulo Theories

Tarrach, Thorsten ; Ebrahimi, Masoud ; König, Sandra ; Schmittner, Christoph ; Bloem, Roderick ; Nickovic, Dejan

arXiv.org, 2022-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Automata Learning meets Shielding
Automata Learning meets Shielding
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automata Learning meets Shielding

Tappler, Martin ; Pranger, Stefan ; Könighofer, Bettina ; Muškardin, Edi ; Bloem, Roderick ; Larsen, Kim

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Material Type:
Artigo 		Adicionar ao Meu Espaço

TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Pranger, Stefan ; Könighofer, Bettina ; Posch, Lukas ; Bloem, Roderick

arXiv.org, 2021-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Reactive Synthesis Modulo Theories Using Abstraction Refinement
Reactive Synthesis Modulo Theories Using Abstraction Refinement
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reactive Synthesis Modulo Theories Using Abstraction Refinement

Maderbacher, Benedikt ; Bloem, Roderick

arXiv.org, 2021-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
Material Type:
Artigo 		Adicionar ao Meu Espaço

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Jacobs, Swen ; Bloem, Roderick ; Colange, Maximilien ; Faymonville, Peter ; Finkbeiner, Bernd ; Khalimov, Ayrat ; Klein, Felix ; Luttenberger, Michael ; Meyer, Philipp J ; Michaud, Thibaud ; Sakr, Mouhammad ; Sickert, Salomon ; Tentrup, Leander ; Walker, Adam

arXiv.org, 2019-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
It's Time to Play Safe: Shield Synthesis for Timed Systems
It's Time to Play Safe: Shield Synthesis for Timed Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

It's Time to Play Safe: Shield Synthesis for Timed Systems

Bloem, Roderick ; Jensen, Peter Gjøl ; Könighofer, Bettina ; Larsen, Kim Guldstrand ; Lorber, Florian ; Palmisano, Alexander

arXiv.org, 2020-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Expansion-Based QBF Solving Without Recursion
Expansion-Based QBF Solving Without Recursion
Material Type:
Artigo 		Adicionar ao Meu Espaço

Expansion-Based QBF Solving Without Recursion

Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina

arXiv.org, 2018-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (34)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (61)
  2. Book Chapters  (35)
  3. Anais de Congresso  (8)
  4. Livros  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2006  (7)
  2. 2006Até2010  (7)
  3. 2011Até2014  (41)
  4. 2015Até2019  (35)
  5. Após 2019  (18)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.