Old Web
English
Sign In
Acemap
>
Paper
>
Model Checking for Event Graphs and Event Temporal Logic: Model Checking for Event Graphs and Event Temporal Logic
Model Checking for Event Graphs and Event Temporal Logic: Model Checking for Event Graphs and Event Temporal Logic
2014
Wei Xia
Yi-Ping Yao
Xiao-dong Mu
Keywords:
Machine learning
Event tree
Computer science
Temporal logic
Artificial intelligence
Interval temporal logic
Model checking
Linear temporal logic
Temporal logic of actions
Graph
Theoretical computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]