Revisiting Underapproximate Reachability for Multipushdown Systems.

S. Akshay Paul Gastin Shankara Narayanan Krishna Sparsa Roychowdhury

Published in: CoRR (2020)

Keyphrases

expert systems
artificial intelligence
clustering algorithm
case study
management system
machine learning
e learning
multimedia
search algorithm
state space