Basu, Arnab; Basu, Samik; Mj, Mahan Nash equilibria via duality and homological selection. (English) Zbl 1318.91009 Proc. Indian Acad. Sci., Math. Sci. 124, No. 4, 581-602 (2014). Reviewer: Valerii V. Obukhovskij (Voronezh) MSC: 91A10 55M99 55M05 55N45 PDF BibTeX XML Cite \textit{A. Basu} et al., Proc. Indian Acad. Sci., Math. Sci. 124, No. 4, 581--602 (2014; Zbl 1318.91009) Full Text: DOI arXiv
Santhanam, Ganesh Ram; Basu, Samik; Honavar, Vasant Verifying preferential equivalence and subsumption via model checking. (English) Zbl 1404.68153 Perny, Patrice (ed.) et al., Algorithmic decision theory. Third international conference, ADT 2013, Bruxelles, Belgium, November 12–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-41574-6/pbk). Lecture Notes in Computer Science 8176. Lecture Notes in Artificial Intelligence, 324-335 (2013). MSC: 68T27 68Q60 68Q85 91B08 PDF BibTeX XML Cite \textit{G. R. Santhanam} et al., Lect. Notes Comput. Sci. 8176, 324--335 (2013; Zbl 1404.68153) Full Text: DOI