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

Grosen, Thomas M.

  1. Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
    2024/09/09 by Alessandro Cimatti, Cimatti, Alessandro, Thomas M. Grosen +8 · 1 voice · 2 citations
    Computer Science · Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #cs.FL