scientific article; zbMATH DE number 2084409
From MaRDI portal
Publication:4475175
zbMath1052.03521MaRDI QIDQ4475175
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2256/22560414.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
The complexity of temporal logic over the reals ⋮ Temporal logic motion planning for dynamic robots ⋮ Synthesis for continuous time
This page was built for publication:
