„Model-checking“

Suchergebnisse

1.904 Treffer

• Certified Knowledge Compilation with Application to Verified Model Counting
  Bryant, Randal E. ; Nawrocki, Wojciech ; Avigad, Jeremy ; Heule, Marijn J. H. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Monadic NIP in Monotone Classes of Relational Structures
  Braunfeld, Samuel ; Dawar, Anuj ; Eleftheriadis, Ioannis ; Papadopoulos, Aris 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach
  Cerrito, Serenella ; Goranko, Valentin ; Paillocher, Sophie 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
  Jaakkola, Reijo 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Holistic Verification of Blockchain Consensus
  Bertrand, Nathalie ; Gramoli, Vincent ; Konnov, Igor ; Lazić, Marijana ; Tholoniat, Pierre ; Widder, Josef 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extended MSO Model Checking via Small Vertex Integrity
  Gima, Tatsuya ; Otachi, Yota 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Quantitative Extension of Interval Temporal Logic over Infinite Words
  Bozzelli, Laura ; Peron, Adriano 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generalised Multiparty Session Types with Crash-Stop Failures
  Barwell, Adam D. ; Scalas, Alceste ; Yoshida, Nobuko ; Zhou, Fangyi 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pareto-Rational Verification
  Bruyère, Véronique ; Raskin, Jean-François ; Tamines, Clément 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
  Bozzelli, Laura ; Peron, Adriano ; Sánchez, César 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Model Checking Upside-Down: An Invariant-Based Approach
  Esparza, Javier ; Raskin, Mikhail ; Welzel, Christoph 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
  Baier, Christel ; Funke, Florian ; Jantsch, Simon ; Karimov, Toghrul ; Lefaucheux, Engel ; Ouaknine, Joël ; Purser, David ; Whiteland, Markus A. ; Worrell, James 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a Model Theory of Ordered Logics: Expressivity and Interpolation
  Bednarczyk, Bartosz ; Jaakkola, Reijo 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk)
  Kwiatkowska, Marta Z. ; Norman, Gethin ; Parker, David ; Santos, Gabriel ; Yan, Rui 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking
  Li, Bowen ; Mackenzie, Neil ; Shirt-Ediss, Ben ; Krasnogor, Natalio ; Zuliani, Paolo 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling and Verifying Properties of Biological Neural Networks (Invited Talk)
  Felty, Amy 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fixed-Template Promise Model Checking Problems
  Asimi, Kristina ; Barto, Libor ; Butti, Silvia 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)
  Bertrand, Nathalie 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Succinct Graph Representations of μ-Calculus Formulas
  Kupke, Clemens ; Marti, Johannes ; Venema, Yde 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Differential Games, Locality, and Model Checking for FO Logic of Graphs
  Gajarský, Jakub ; Gorsky, Maximilian ; Kreutzer, Stephan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik