Travelled to:1 × Croatia
Collaborated with:M.Agrawal B.Genest P.S.Thiagarajan S.Chakraborty S.Goel S.Kulal S.Shah
Talks about:synthesi (1) function (1) approxim (1) boolean (1) symbol (1) markov (1) verif (1) dynam (1) chain (1) about (1)
Person: S. Akshay
DBLP: Akshay:S=
Contributed to:
2012
2018Wrote 2 papers:
- LICS-2012-AgrawalAGT #approximate #markov #verification
- Approximate Verification of the Symbolic Dynamics of Markov Chains (MA, SA, BG, PST), pp. 55–64.
- CAV-2018-AkshayCGKS #functional #question #synthesis #what
- What's Hard About Boolean Functional Synthesis? (SA, SC, SG, SK, SS), pp. 251–269.