Jobstmann, Barbara
- Better Quality in Synthesis through Quantitative Objectives
2009/04/17 by Roderick Bloem, Bloem, Roderick, Krishnendu Chatterjee +5 · 5 citations
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- GIST: A Solver for Probabilistic Games
2010/04/14 by Chatterjee, Krishnendu, Henzinger, Thomas A., Jobstmann, Barbara +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Environment Assumptions for Synthesis
2008/05/27 by Krishnendu Chatterjee, Thomas A. Henzinger, Chatterjee, Krishnendu +3 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling