Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their ApplicationRauh, Andreas ; Lahme, Marit ; Rohou, Simon ; Jaulin, Luc ; Dinh, Thach Ngoc ; Raissi, Tarek ; Fnadi, MohamedLogical methods in computer science, 2023 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |