34 citations · 50 across the 19 of their papers we have counts for
20 papers
Agricultural Landscape Understanding At Country-Scale
Radhika Dua, Aditi Agarwal, Aishwarya Jayagopal +12
Comprehensive agricultural landscape understanding is critical for addressing global challenges in food security, climate change, and resource management. This requires mapping not…
Non-deterministic asynchronous automata games and their undecidability
Bharat Adsul, Nehul Jain
We propose a new model of a distributed game, called an ATS game, which is played on a non-deterministic asynchronous transition system -- a natural distributed finite-state device…
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Bharat Adsul, Paul Gastin, Shantanu Kulkarni +1
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively comp…
Orbit closures, stabilizer limits and intermediate -varieties
Bharat Adsul, Milind Sohoni, K V Subrahmanyam
In this paper we study the orbit closure problem for a reductive group acting on a finite dimensional vector space over $\C$. We assume that the center of $G…
Geometric Complexity Theory -- Lie Algebraic Methods for Projective Limits of Stable Points
Bharat Adsul, Milind Sohoni, K V Subrahmanyam
Let be a connected reductive group acting on a complex vector space and projective space . Let and be the Lie algebra of…
First-Order logic and its Infinitary Quantifier Extensions over Countable Words
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic cha…