C
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 Vissat
Michele Loreti
Laura Nenzi
Jane Hillston
Glenn Marion
Published in:
QEST (2017)
Keyphrases
</>
spatio temporal
temporal properties
stochastic systems
upper bound
logic programming
dynamic environments
graphical models