scientific article; zbMATH DE number 7455740

MaRDI QIDQ5021002

Mara Downing, Lucas Bang, Abtin Molavi

Publication date: 11 January 2022

Full work available at URL: https://arxiv.org/abs/2009.10877

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• LattE
• z3
• Cobra

Cites Work

• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• Formal analysis of PIN block attacks
• Constructing optimal binary decision trees is NP-complete
• Effective lattice point counting in rational convex polytopes
• Learning Character Strings via Mastermind Queries, With a Case Study Involving mtDNA
• Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
• Finding minimal enclosing boxes
• Symbolic execution and program testing
• A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed

This page was built for publication: