E-LIB Suche - Ergebnisse für: Schmuck, Anne-Kathrin

1

Context-triggered Games for Reactive Synthesis over Stochas..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Nejati, Ameneh ; Prakash Nayak, Satya ; Schmuck, Anne-Kathrin - p. 1-12 , 2024

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

2

Fair $$\omega $$-Regular Games:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Hausmann, Daniel ; Piterman, Nir ; Sağlam, Irmak. - p. 13-33 , 2024

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

3

Most General Winning Secure Equilibria Synthesis in Graph G..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Nayak, Satya Prakash ; Schmuck, Anne-Kathrin - p. 173-193 , 2024

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

4

Symbolic control for stochastic systems via finite parity g..:

Majumdar, Rupak ; Mallik, Kaushik ; Schmuck, Anne-Kathrin.
Nonlinear Analysis: Hybrid Systems. 51 (2024) - p. 101430 , 2024

Link: https://doi.org/10.1016/..

5

Contract-Based Distributed Logical Controller Synthesis:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Anand, Ashwani ; Schmuck, Anne-Kathrin ; Prakash Nayak, Satya - p. 1-11 , 2024

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

6

Compositional synthesis of reactive systems:

Passing, Noemi Estrid , 2023

Link: https://nbn-resolving.de..

7

Poster Abstract: Permissiveness for Strategy Adaptation:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Anand, Ashwani ; Nayak, Satya Prakash ; Schmuck, Anne-Kathrin - p. 1-2 , 2023

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

8

Context-Triggered Abstraction-Based Control Design:

Nayak, Satya Prakash ; Egidio, Lucas N. ; Della Rossa, Matteo..
IEEE Open Journal of Control Systems. 2 (2023) - p. 277-296 , 2023

Link: https://doi.org/10.1109/..

9

Fast Symbolic Algorithms for Omega-Regular Games under Stro..:

Banerjee, Tamajit ; Majumdar, Rupak ; Mallik, Kaushik..
TheoretiCS. 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

10

Poster Abstract: Towards Seamless Reactivity of Hybrid Cont..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Egidio, Lucas Neves ; Nayak, Satya Prakash ; Rossa, Matteo Della.. - p. 1-2 , 2023

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

11

Computing Adequately Permissive Assumptions for Synthesis:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Anand, Ashwani ; Mallik, Kaushik ; Nayak, Satya Prakash. - p. 211-228 , 2023

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

12

Lazy Synthesis of Symbolic Output-Feedback Controllers for ..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Zareian, Mehrdad ; Schmuck, Anne-Kathrin - p. 1-7 , 2023

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

13

A Flexible Toolchain for Symbolic Rabin Games under Fair an..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz.. - p. 3-15 , 2023

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

14

Poster Abstract: A Toolchain for Accelerated Symbolic Contr..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz.. - p. 1-2 , 2023

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

15

Supervisory Controller Synthesis for Nonterminating Process..:

Majumdar, Rupak ; Schmuck, Anne-Kathrin
IEEE Transactions on Automatic Control. 68 (2023) 1 - p. 385-392 , 2023

Link: https://doi.org/10.1109/..