There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 19

Record: found
Abstract: not found
Conference Proceedings: not found

The temporal logic of programs

Amir Pnueli (1977)

0 comments Cited 390 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Probabilistic logic

Nils Nilsson (1986)

0 comments Cited 97 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Monitoring Temporal Properties of Continuous Signals

Oded Maler, Dejan Nickovic (2004)

0 comments Cited 92 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 264-279

DOI: 10.1007/978-3-642-39799-8_19

SO-VID: 16cda2ad-21cc-403a-a657-b792fe0ddd8c

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 19

See all cited by

Efficient Robust Monitoring for STL

Read this book at

Related collections

Active Travel Studies

Most cited references 19

The temporal logic of programs

Probabilistic logic

Monitoring Temporal Properties of Continuous Signals

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,011

Cited by 19