39 citations · 116 across the 15 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 38 cited
Unifying Theories of Reactive Design Contracts
Simon Foster, Ana Cavalcanti, Samuel Canham +2
Design-by-contract is an important technique for model-based design in which a composite system is specified by a collection of contracts that specify the behavioural assumptions a…
cs.RO2017★ 1 cited
From Formalised State Machines to Implementations of Robotic Controllers
Wei Li, Alvaro Miyazawa, Pedro Ribeiro +3
Controllers for autonomous robotic systems can be specified using state machines. However, these are typically developed in an ad hoc manner without formal semantics, which makes i…