• Publications
  • Influence
Understanding the Emergence of Conventions in Multi-Agent Systems
TLDR
In this paper, we investigate techniques via which a group of autonomous agents can reach a global agreement on the use of social conventions by using only locally available information. Expand
  • 228
  • 21
  • PDF
The first reactive synthesis competition (SYNTCOMP 2014)
TLDR
We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. Expand
  • 23
  • 2
  • PDF
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
TLDR
We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). Expand
  • 17
  • 2
  • PDF
User-Guided Device Driver Synthesis
TLDR
We present the design and implementation of a new driver synthesis toolkit, called Termite-2, which combines the power of automation with the flexibility of conventional development. Expand
  • 42
  • 1
  • PDF
Solving Games without Controllable Predecessor
TLDR
We propose a new method for solving reachability games by exploring a subset of the possible concrete runs of the game and proving that these runs can be generalised into a winning strategy on behalf of one of the players. Expand
  • 16
  • 1
  • PDF
Evaluation of isolated DC/DC converter topologies for future HVDC aerospace microgrids
High performance power conversion equipment is currently gaining an increasing interest for aircraft applications. In particular, isolated bidirectional DC/DC converters are often proposed for modernExpand
  • 15
  • 1
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution
TLDR
This paper presents a novel execution architecture for Globally Asynchronous Locally Synchronous (GALS) systems, in our case particularly targeting system level programming language SystemJ. Expand
  • 10
  • 1
Design considerations for high performance traction machines: Aiming for the FreedomCar 2020 targets
This paper presents considerations for the design of high performance, interior permanent magnet machines for traction applications. These machines will be designed to reach the FreedomCar 2020Expand
  • 10
  • 1
A topology selection consideration of electrical machines for traction applications: towards the FreedomCar 2020 targets
This paper details a qualitative comparison between different types of electrical machine for hybrid electric vehicle traction applications. Targets set by the US Department of Energy for the yearExpand
  • 15
  • 1
Design Optimization of a Short-Term Duty Electrical Machine for Extreme Environment
TLDR
This paper presents design optimization of a short-term duty electrical machine for extreme environments of high temperature and high altitudes. Expand
  • 5
  • 1
  • PDF