Table of Contents: “... trajectories to design a predictive geofence algorithm -- Online Shielding for Stochastic Systems -- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model -- An Infrastructure for Faithful Execution of Remote Attestation Protocols...”

Full text 

Table of Contents: “... Detection and Isolation of Control Systems -- 18 Approximate Local Utility Design for Potential Game Approach to Cooperative Sensor Network Planning -- 19 Dynamic Sensor-Actor Interactions for Path-Planning in a Threat Field -- 20 Energy-Aware Dynamic Data-Driven...”

Full text