Login / Signup

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