de Alfaro, Luca
- Termination Criteria for Solving Concurrent Safety and Reachability Games
2008/09/23 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Luca de Alfaro +3 · 1 citation
Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Strategy Improvement for Concurrent Reachability and Safety Games
2012/01/13 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Luca de Alfaro +3 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Incentives for Truthful Peer Grading
2016/04/11 by Luca de Alfaro, Michael Shavlovsky, de Alfaro, Luca +3 · 1 citation
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Imbalanced Data Classification Techniques #Machine Learning and Algorithms