• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.

Ludovica Luisa VissatMichele LoretiLaura NenziJane HillstonGlenn Marion
Published in: QEST (2017)
Keyphrases
  • spatio temporal
  • temporal properties
  • stochastic systems
  • upper bound
  • logic programming
  • dynamic environments
  • graphical models