Login / Signup
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Jari Stenman
Published in:
LATA (2012)
Keyphrases
</>
minimal cost
management system
finite state machines
intelligent systems
objective function
expert systems
learning systems