Alert button
Picture for Ranjit Jhala

Ranjit Jhala

Alert button

Counterexample-guided Planning

Jul 04, 2012
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

Figure 1 for Counterexample-guided Planning
Figure 2 for Counterexample-guided Planning
Viaarxiv icon