The temporal logic of programs

• Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• IC3 for Loop Invariant Generation in Deductive Analysis

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  0

  citations
• Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling

  2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

  3

  citations
• Tools at the Frontiers of Quantitative Verification

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees

  2024 conference-paper Engineering Underwater Vehicles and Communication Systems Open access

  3

  citations
• AutoKnigge—Modeling, Evaluation and Verification of Cooperative Interacting Automobiles

  2024 Springer eBooks book-chapter Engineering Traffic control and management Open access

  0

  citations
• Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  4

  citations
• Model Checking Temporal Properties of Recursive Probabilistic Programs

  2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

  4

  citations
• Scenario-based verification of uncertain parametric MDPs

  2022 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  2

  citations
• Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'

  2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

  16

  citations
• HyperPCTL Model Checking by Probabilistic Decomposition

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  2

  citations
• Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking

  2021 conference-paper Computer Science Formal Methods in Verification

  3

  citations
• Scenario-Based Verification of Uncertain MDPs

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  20

  citations
• Symbolic Model Checking with Sentential Decision Diagrams

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  5

  citations

15 results