book chapterLecture notes in computer scienceJan 1, 2010Closed access

Robust Satisfaction of Temporal Logic over Real-Valued Signals

ADAlexandre DonzéOMOded Maler

Verimag · Centre National de la Recherche Scientifique

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

706
total citations
FWCI
9.11
Percentile
100%
References
26
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Robustness (evolution)
  • Temporal logic
  • Nonlinear system
  • Parameter space
  • Computer science
  • Property (philosophy)
  • Linear temporal logic
  • Mathematics
No related works found for this paper.