3 citations · 3 across the 5 of their papers we have counts for
5 papers
Collision-free Exploration by Mobile Agents Using Pebbles
Sajal K. Das, Amit Kumar Dhar, Barun Gorain +1
In this paper, we study collision-free graph exploration in an anonymous pot labeled network. Two identical mobile agents, starting from different nodes in have to explore the…
Semi-Automatic Terminology Ontology Learning Based on Topic Modeling
Monika Rani, Amit Kumar Dhar, O. P. Vyas
Ontologies provide features like a common vocabulary, reusability, machine-readable content, and also allows for semantic search, facilitate agent interaction and ordering & struct…
Efficient Energy Distribution in a Smart Grid using Multi-Player Games
Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts +2
Algorithms and models based on game theory have nowadays become prominent techniques for the design of digital controllers for critical systems. Indeed, such techniques enable auto…
On the Complexity of Verifying Regular Properties on Flat Counter Systems
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Among the approximation methods for the verification of counter systems, one of them consists in model-checking their flat unfoldings. Unfortunately, the complexity characterizatio…
Taming Past LTL and Flat Counter Systems
Stéphane Demri, Amit Kumar Dhar, Arnaud sangnier
Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known complexity u…