Causality-Aided Falsification

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

Related collections

Most cited references 16

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

Monitoring Temporal Properties of Continuous Signals

Oded Maler, Dejan Nickovic (2004)

0 comments Cited 93 times – based on 0 reviews

Bookmark

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

Robust Satisfaction of Temporal Logic over Real-Valued Signals

Alexandre Donzé, Oded Maler (2010)

0 comments Cited 61 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Robustness of temporal logic specifications for continuous-time signals

Georgios E. Fainekos, George Pappas (2009)

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

Bookmark

All references

Author and article information

Journal

Title: Electronic Proceedings in Theoretical Computer Science

Abbreviated Title: Electron. Proc. Theor. Comput. Sci.

Abbreviated Title: EPTCS

Publisher: Open Publishing Association

ISSN (Electronic): 2075-2180

Publication date Created: September 7 2017

Publication date (Electronic): September 7 2017

Volume: 257

Pages: 3-18

Affiliations

[1 ]The University of Tokyo, JSPS Research Fellow

[2 ]The University of Tokyo

[3 ]National Institute of Informatics

Article

DOI: 10.4204/EPTCS.257.2

SO-VID: c54e31df-4795-459a-be84-d57350445b2c

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.