57 citations
- University of California, MercedUS9 papers
- AGH University of KrakowPL7 papers
- Donghua UniversityCN4 papers
- École Polytechnique Fédérale de LausanneCH4 papers
- Technical University of MunichDE3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Institut Polytechnique de ParisFR2 papers
- Intelligent Systems Research (United States)US2 papers
- LIP6FR2 papers
- Nanyang Technological UniversitySG2 papers
- RWTH Aachen UniversityDE2 papers
Showing 2012Show all
3 papers · 1 filter
cs.SE2012★ 1 cited
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Gordon J. Pace, Anders P. Ravn
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…
cs.DC2012★ 11 cited
Agreement in Directed Dynamic Networks
Martin Biely, Peter Robinson, Ulrich Schmid
We study distributed computation in synchronous dynamic networks where an omniscient adversary controls the unidirectional communication links. Its behavior is modeled as a sequenc…
cs.RO2012★ 7 cited
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +1
In this paper we present a method for automatically planning robust optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion…