×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [bchi automaton]
DecSerFlow Towards a Truly Declarative Service Flow Language Wil van der Aalst & Maja Pesic Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven,
220 views
GHILA CASTELNUOVO TEL AVIV UNIVERSITY Determinization of Büchi Automata
223 views
Fair Cycle Detection: A New Algorithm and a Comparative Study Fabio Somenzi University of Colorado at Boulder
215 views
Cost-Optimal Planning with Constraints and Preferences in Large State Spaces Stefan Edelkamp, Shahid Jabbar, Mohammed Nazih University of Dortmund
223 views
An Automata-Theoretic Approach to LTL
74 views