46 citations · 48 across the 5 of their papers we have counts for
6 papers
The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
Purandar Bhaduri
We study rational synthesis problems for concurrent games with omega-regular objectives. Our model of rationality considers only pure strategy Nash equilibria that satisfy either a…
Coalgebras for Bisimulation of Weighted Automata over Semirings
Purandar Bhaduri
Weighted automata are a generalization of nondeterministic automata that associate a weight drawn from a semiring with every transition and every state. Their behaviours can be…
On the structure of C-algebras through atomicity and if-then-else
Gayatri Panicker, K. V. Krishna, Purandar Bhaduri
This paper introduces the notions of atoms and atomicity in -algebras and obtains a characterisation of atoms in the -algebra of transformations. Further, this work presents…
Axiomatization of if-then-else over monoids of possibly non-halting programs and tests
Gayatri Panicker, K. V. Krishna, Purandar Bhaduri
In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of -sets was introduced in the literature by consider…
Axiomatization of if-then-else over possibly non-halting programs and tests
Gayatri Panicker, K. V. Krishna, Purandar Bhaduri
In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, this paper introduces the notion of -sets by considering the tes…
Model Checking of Statechart Models: Survey and Research Directions
Purandar Bhaduri, S. Ramesh
We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies consider…