Skip to main content

Showing 1–5 of 5 results for author: Dhar, A K

Searching in archive cs. Search in all archives.
.
  1. arXiv:2410.17542  [pdf, other

    cs.DS

    Collision-free Exploration by Mobile Agents Using Pebbles

    Authors: Sajal K. Das, Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar

    Abstract: In this paper, we study collision-free graph exploration in an anonymous pot labeled network. Two identical mobile agents, starting from different nodes in $G$ have to explore the nodes of $G$ in such a way that for every node $v$ in $G$, at least one mobile agent visits $v$ and no two agents are in the same node in any round and stop. The agents know the size of the graph but do not know its topo… ▽ More

    Submitted 22 October, 2024; originally announced October 2024.

  2. arXiv:1709.01991  [pdf

    cs.IR cs.CL

    Semi-Automatic Terminology Ontology Learning Based on Topic Modeling

    Authors: Monika Rani, Amit Kumar Dhar, O. P. Vyas

    Abstract: Ontologies provide features like a common vocabulary, reusability, machine-readable content, and also allows for semantic search, facilitate agent interaction and ordering & structuring of knowledge for the Semantic Web (Web 3.0) application. However, the challenge in ontology engineering is automatic learning, i.e., the there is still a lack of fully automatic approach from a text corpus or datas… ▽ More

    Submitted 5 August, 2017; originally announced September 2017.

  3. Efficient Energy Distribution in a Smart Grid using Multi-Player Games

    Authors: Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege

    Abstract: 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 automatic synthesis: given a model of the environment and a property that the controller must enforce, those techniques automatically produce a correct controller, when it exists. In the present paper, we consider a class of… ▽ More

    Submitted 1 August, 2016; originally announced August 2016.

    Comments: In Proceedings Cassting'16/SynCoP'16, arXiv:1608.00177

    Journal ref: EPTCS 220, 2016, pp. 1-12

  4. arXiv:1304.6301  [pdf, ps, other

    cs.LO

    On the Complexity of Verifying Regular Properties on Flat Counter Systems

    Authors: Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier

    Abstract: Among the approximation methods for the verification of counter systems, one of them consists in model-checking their flat unfoldings. Unfortunately, the complexity characterization of model-checking problems for such operational models is not always well studied except for reachability queries or for Past LTL. In this paper, we characterize the complexity of model-checking problems on flat counte… ▽ More

    Submitted 23 April, 2013; originally announced April 2013.

  5. arXiv:1205.6584  [pdf, ps, other

    cs.LO

    Taming Past LTL and Flat Counter Systems

    Authors: Stéphane Demri, Amit Kumar Dhar, Arnaud sangnier

    Abstract: 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 upper bound for the latter problem is made of a tower of several exponentials. Herein, we show that the problem is only NP-complete even if LTL admits past-time operators and arithmetical constraints on counters. Actually… ▽ More

    Submitted 8 February, 2013; v1 submitted 30 May, 2012; originally announced May 2012.