All Outputs (2)

State of the art in logics for verification of resource-bounded multi-agent systems (2020)
Book Chapter
Alechina, N., & Logan, B. (2020). State of the art in logics for verification of resource-bounded multi-agent systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday (9-29). Springer. https://doi.org/10.1007/978-3-030-48006-6_2

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about State of the art in logics for verification of resource-bounded multi-agent systems.

White Noise from the White Goods? Privacy by Design for Ambient Domestic Computing (2020)
Book Chapter
Urquhart, L. (2020). White Noise from the White Goods? Privacy by Design for Ambient Domestic Computing. In L. Edwards, B. Schafer, & E. Harbinja (Eds.), Future Law: Emerging Technology, Regulation and Ethics. Edinburgh University Press

Within this chapter we consider the emergence of ambient domestic computing systems, both conceptually and empirically. We critically assess visions of post-desktop computing, paying particular attention to one contemporary trend: the internet of thi... Read More about White Noise from the White Goods? Privacy by Design for Ambient Domestic Computing.