E-LIB Suche - Ergebnisse für: Linker, Sven

1

Diagrammatic Representation and Inference: 13th Internation..

Lecture Notes in Artificial Intelligence, 13462

Giardino, Valeria ; Linker, Sven ; Burns, Richard... - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

2

MLFC: From 10 to 50 Planners in the Multi-Agent Programming..:

, In: The Multi-Agent Programming Contest 2021; Lecture Notes in Computer Science,

Cardoso, Rafael C. ; Ferrando, Angelo ; Papacchini, Fabio... - p. 82-107 , 2021

Link: https://doi.org/10.1007/..

3

Diagrammatic Representation and Inference: 12th Internation..

Lecture Notes in Artificial Intelligence, 12909

Basu, Amrita ; Stapleton, Gem ; Linker, Sven... - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

4

Natural Deduction for Intuitionistic Euler-Venn Diagrams:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,

Linker, Sven - p. 529-533 , 2021

Link: https://doi.org/10.1007/..

5

Diagrammatic Representation and Inference: 11th Internation..

Lecture Notes in Artificial Intelligence, 12169

Pietarinen, Ahti-Veikko ; Chapman, Peter ; Bosveld-de Smet, Leonie... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

6

Intuitionistic Euler-Venn Diagrams:

, In: Diagrammatic Representation and Inference; Lecture Notes in Computer Science,

Linker, Sven - p. 264-280 , 2020

Link: https://doi.org/10.1007/..

7

Multi-scale verification of distributed synchronisation:

Gainer, Paul ; Linker, Sven ; Dixon, Clare..
Formal Methods in System Design. 55 (2020) 3 - p. 171-221 , 2020

Link: https://doi.org/10.1007/..

8

Target counting with Presburger constraints and its applica..:

Linker, Sven ; Sevegnani, Michele
Proceedings: Mathematical, Physical and Engineering Sciences. 475 (2019) 2231 - p. 1-24 , 2019

Link: https://www.jstor.org/st..

9

SCAV'18 : Report of the 2nd International Workshop on Sa..:

Gleirscher, Mario ; Kugele, Stefan ; Linker, Sven
ACM SIGSOFT Software Engineering Notes. 43 (2019) 4 - p. 54 ff. , 2019

Link: https://dl.acm.org/doi/1..

10

Modular Verification of Vehicle Platooning with Respect to ..:

, In: Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems,

Kamali, Maryam ; Linker, Sven ; Fisher, Michael - p. 18-36 , 2019

Link: https://doi.org/10.1007/..

11

SCAV'18 : Report of the 2nd International Workshop on Sa..:

Gleirscher, Mario ; Kugele, Stefan ; Linker, Sven
ACM SIGSOFT Software Engineering Notes. 43 (2019) 4 - p. 45-47 , 2019

Link: https://dl.acm.org/doi/1..

12

SCAV'18: Report of the 2nd International Workshop on Safe C..:

Gleirscher, Mario ; Kugele, Stefan ; Linker, Sven
ACM SIGSOFT Software Engineering Notes. 43 (2018) 4 - p. 45-47 , 2018

Link: https://doi.org/10.1145/..

13

The Power of Synchronisation: Formal Analysis of Power Cons..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Gainer, Paul ; Linker, Sven ; Dixon, Clare.. - p. 160-176 , 2018

Link: https://doi.org/10.1007/..

14

Synthesizing and verifying controllers for multi-lane traff..:

Bochmann, Gregor V. ; Hilscher, Martin ; Linker, Sven.
Formal Aspects of Computing. 29 (2017) 4 - p. 583-600 , 2017

Link: https://doi.org/10.1007/..

15

Finite Models for a Spatial Logic with Discrete and Topolog..:

Linker, Sven ; Papacchini, Fabio ; Sevegnani, Michele
doi:10.4230/LIPIcs.MFCS.2021.72. , 2021

Link: https://doi.org/10.4230/..