Approximate Verification and Enumeration Problems

DOI10.1007/978-3-642-32943-2_18zbMath1362.68177OpenAlexW200359700MaRDI QIDQ2915109

Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Trace Refinement in Labelled Markov Decision Processes

This page was built for publication: Approximate Verification and Enumeration Problems