3 papers
cs.CV2026
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…
cs.FL2024
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…
cs.FL2024
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…