Manasa, Lakshmi
- Adding Negative Prices to Priced Timed Games
2014/04/23 by Thomas Brihaye, Brihaye, Thomas, Gilles Geeraerts +9 · 2 citations
Computer Science · #Formal Methods in Verification #semigroups and automata theory #Logic, programming, and type systems