Solving Games without Controllable Predecessor
暂无分享,去创建一个
[1] Klaus Schneider,et al. Solving Games Using Incremental Induction , 2013, IFM.
[2] Kim G. Larsen,et al. On Modal Refinement and Consistency , 2007, CONCUR.
[3] Leonid Ryzhyk,et al. Automatic device driver synthesis with termite , 2009, SOSP '09.
[4] Armin Biere,et al. Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings , 2006, SAT.
[5] Luca de Alfaro,et al. Solving games via three-valued abstraction refinement , 2007, Inf. Comput..
[6] Alessandro Cimatti,et al. Theory and Applications of Satisfiability Testing – SAT 2012 , 2012, Lecture Notes in Computer Science.
[7] Armin Biere,et al. Blocked Clause Elimination for QBF , 2011, CADE.
[8] Thomas A. Henzinger,et al. Counterexample-Guided Control , 2003, ICALP.
[9] Mikolás Janota,et al. Solving QBF with Counterexample Guided Refinement , 2012, SAT.
[10] Franck Cassez. Efficient On-the-Fly Algorithms for Partially Observable Timed Games , 2007, FORMATS.
[11] Bart Selman,et al. QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency , 2006, SAT.
[12] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[13] Armin Biere,et al. Integrating Dependency Schemes in Search-Based QBF Solvers , 2010, SAT.
[14] Leonid Ryzhyk,et al. Predicate abstraction for reactive synthesis , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
[15] Jirí Srba,et al. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.
[16] Martina Seidl,et al. SAT-Based Synthesis Methods for Safety Specs , 2014, VMCAI.
[17] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[18] Ofer Strichman,et al. Theory and Applications of Satisfiability Testing – SAT 2010 , 2010, Lecture Notes in Computer Science.
[19] Amir Pnueli,et al. Specify, Compile, Run: Hardware from PSL , 2007, COCV@ETAPS.
[20] Kim G. Larsen,et al. Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study , 2009, HSCC.
[21] Nikolaj Bjørner,et al. Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings , 2011, CADE.
[22] Mihalis Yannakakis,et al. Temporal Synthesis for Bounded Systems and Environments , 2011, STACS.