ERD

Parameterized Synthesis with Safety Properties

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Monadic Decomposition in Integer Linear Arithmetic

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Decision procedures for path feasibility of string-manipulating programs with complex operations

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

String constraints with concatenation and transducers solved efficiently

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

What is decidable about string constraints with the ReplaceAll function

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

CertiStr: A Certified String Solver

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Learning-Based Synthesis of Safety Controllers

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition)

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Reasoning on Data Words over Numeric Domains

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Data Path Queries over Embedded Graph Databases

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Regular Model Checking Revisited

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Periodic Reporting for period 4 - AV-SMP (Algorithmic Verification of String Manipulating Programs)

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Solving string constraints with Regex-dependent functions through transducers with priorities and variables

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Complexity Analysis of Tree Share Structure

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Monadic Decomposability of Regular Relation

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

CSS Minification via Constraint Solving

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Ramsey Quantifiers over Automatic Structures: {C}omplexity and Applications to Verification

Project: AV-SMP

Updated at: 27-04-2024

Show more information

Project acronym AV-SMP

Resources