10 citations · 16 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018★ 1 cited
Comparator automata in quantitative verification
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
The notion of comparison between system runs is fundamental in formal verification. This concept is implicitly present in the verification of qualitative systems, and is more prono…
cs.GT2018
Equilibria in Quantitative Concurrent Games
Shaull Almagor, Rajeev Alur, Suguman Bansal
Synthesis of finite-state controllers from high-level specifications in multi-agent systems can be reduced to solving multi-player concurrent games over finite graphs. The complexi…