scientific article
From MaRDI portal
Publication:2769595
zbMath0978.68546MaRDI QIDQ2769595
Marco Roveri, Alessandro Cimatti, Piergiorgio Bertoli
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310313
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
GSTE is partitioned model checking ⋮ Strong planning under partial observability ⋮ Conformant planning via symbolic model checking and heuristic search
Uses Software
This page was built for publication:
