Reachability Analysis of Dynamic Pushdown Networks with Priorities.

Marcio Diaz Tayssir Touili

Published in: NETYS (2017)

Keyphrases

reachability analysis
model checking
social networks
dynamic networks
neural network
response time
markov decision processes
network structure
timed automata
artificial intelligence
reinforcement learning
low cost
random walk
temporal logic
incremental algorithms