Program Analysis and Machine Learning: A Win-Win Deal
Abstract elided by the publisher.
Related papers
- Program Analysis and Machine Learning: A Win-Win Deal SAS 2011
- Guessing Winning Policies in LTL Synthesis by Semantic Learning CAV 2023
- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers TACAS 2021
- win and sin: Predicate Transformers for Concurrency TOPLAS 1990
- On Polynomial-Size Programs Winning Finite-State Games CAV 1995
- Finitary Winning in omega-Regular Games TACAS 2006
- Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives CAV 2011
- Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions TACAS 1996