skip to main content
Idioma:
Refinado por: Nome da Publicação: Logical Methods In Computer Science remover Arxiv remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application
Material Type:
Artigo 		Adicionar ao Meu Espaço

Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application

Rauh, Andreas ; Lahme, Marit ; Rohou, Simon ; Jaulin, Luc ; Dinh, Thach Ngoc ; Raissi, Tarek ; Fnadi, Mohamed

Logical methods in computer science, 2023 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.