Nehul Jain
Bharat Adsul
Nehul Jain
Distributed Games with a Central Decision Maker.
5:1-5:18
2025
FSTTCS
https://doi.org/10.4230/LIPIcs.FSTTCS.2025.5
conf/fsttcs/2025
db/conf/fsttcs/fsttcs2025.html#AdsulJ25
Bharat Adsul
Nehul Jain
Asynchronous Transition System Games for Two Processes and Their Analysis.
69-83
2025
ICLA
https://doi.org/10.1007/978-3-031-89610-1_5
conf/icla/2025
db/conf/icla/icla2025.html#AdsulJ25
streams/conf/icla
Bharat Adsul
Nehul Jain
Non-deterministic asynchronous automata games and their undecidability.
2024
abs/2410.04420
CoRR
https://doi.org/10.48550/arXiv.2410.04420
db/journals/corr/corr2410.html#abs-2410-04420
streams/journals/corr
Nehul Jain
Saikat Dutta 0001
Ansuman Banerjee
Anil Kumar Ghosh 0001
Lihua Xu
Huibiao Zhu
Using Daikon to Prioritize and Group Unit Bugs.
215-233
2013
FACS
https://doi.org/10.1007/978-3-319-07602-7_14
conf/facs2/2013
db/conf/facs2/facs2013.html#JainDBGXZ13
Bharat Adsul
Ansuman Banerjee
Saikat Dutta 0001
Anil Kumar Ghosh 0001
Lihua Xu
Huibiao Zhu