„Pushdown systems“

Suchergebnisse

1.000+ Treffer

• Decision problems for pushdown threads
  Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
• Reachability in pushdown systems – algorithms and applications
  Dejvuth Suwimonteerabuth
• Decision problems over infinite graphs – higher-order pushdown systems and synchronized products
  Wöhrle, Stefan
• Model checking pushdown systems
  Schwoon, Stefan
• Descriptional Complexity of Formal Systems – 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
  Kutrib, Martin ; Moreira, Nelma ; Reis, Rogério 2012 Springer Berlin Heidelberg
• Abstraction refinement for pushdown systems
  Kiefer, Stefan 2005 Universitätsbibliothek der Universität Stuttgart
• Diagnosis in Infinite-State Probabilistic Systems
  Bertrand, Nathalie ; Haddad, Serge ; Lefaucheux, Engel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Continuous Pushdown VASS in One Dimension
  Pérez, Guillermo A. ; Rao, Shrisha 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper)
  Czerwiński, Wojciech 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata
  Droste, Manfred ; Dziadek, Sven ; Kuich, Werner 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• New Lower Bounds for Reachability in Vector Addition Systems
  Czerwiński, Wojciech ; Jecker, Ismaël ; Lasota, Sławomir ; Leroux, Jérôme ; Orlikowski, Łukasz 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability in Bidirected Pushdown VASS
  Ganardi, Moses ; Majumdar, Rupak ; Pavlogiannis, Andreas ; Schütze, Lia ; Zetzsche, Georg 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scope-Bounded Reachability in Valence Systems
  Shetty, Aneesh K. ; Krishna, S. ; Zetzsche, Georg 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adaptive Synchronisation of Pushdown Automata
  Balasubramanian, A. R. ; Thejaswini, K. S. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Boolean Algebras from Trace Automata
  Mansard, Alexandre 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interval Temporal Logic for Visibly Pushdown Systems
  Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems
  Penelle, Vincent ; Salvati, Sylvain ; Sutre, Grégoire 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Quantitative Temporal Properties of Procedural Programs
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
  Hague, Matthew ; Meyer, Roland ; Muskalla, Sebastian ; Zimmermann, Martin 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimal Strategies in Pushdown Reachability Games
  Carayol, Arnaud ; Hague, Matthew 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik