Ivan Gavran

  • Citations Per Year
Learn More
Asynchronous programming has become ubiquitous in smartphone and web application development, as well as in the development of server-side and system applications. Many of the uses of asynchrony can be modeled by extending programming languages with asynchronous procedure calls—procedures not executed immediately, but stored and selected for execution at a(More)
It is clear that Ñ would accept L (N accepts if one branch ends up in the accepting state. Ñ would notice that as rejecting state it would reject as soon as there is one rejecting state because all the states are universal. N rejects if no branch end in an accepting state, i.e., all end up in the rejecting state. But for Ñ that would mean that all the(More)
We propose a new model for formalizing reward collection problems on graphs with dynamically generated rewards which may appear and disappear based on a stochastic model. The robot routing problem is modeled as a graph whose nodes are stochastic processes generating potential rewards over discrete time. The rewards are generated according to the stochastic(More)
We present Antlab, an end-to-end system that takes streams of user task requests and executes them using collections of robots. In Antlab, each request is specified declaratively in linear temporal logic extended with quantifiers over robots. The user does not program robots individually, nor know how many robots are available at any time or the precise(More)
  • 1