Coefficient Synthesis for Threshold Automata

von Balasubramanian, A. R.
Veröffentlicht in RP (16. : 2022 : Kaiserslautern) Reachability problems (2022)

Complexity of Verification and Synthesis of Threshold Automata

von Balasubramanian, A. R.
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

von Balasubramanian, A. R.
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

Parameterized Analysis of Reconfigurable Broadcast Networks

von Balasubramanian, A. R.
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)