Reachability analysis of first-order definable pushdown systems.

Lorenzo Clemente Slawomir Lasota

Published in: CoRR (2015)

Keyphrases

reachability analysis
first order logic
model checking
higher order
dynamic programming
management system
logic programming
utility function
real time systems