scientific article; zbMATH DE number 1903384

zbMath1010.68086MaRDI QIDQ4804928

Fabio Somenzi, Roderick Bloem, Sankar Gurumurthy

Publication date: 1 May 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040610.htm

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning ⋮ Applicability of fair simulation ⋮ Simulation relations and applications in formal methods ⋮ Büchi Automata Can Have Smaller Quotients ⋮ Minimizing GFG Transition-Based Automata ⋮ Unnamed Item

This page was built for publication: