vix.ing · top · new · best · stats · spec

Alphan Ulusoy

  1. Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
    2012/09/01 by Alphan Ulusoy, Ulusoy, Alphan, Tichakorn Wongpiromsarn +4 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Model-Driven Software Engineering Techniques #cs.LO #cs.RO