1329759

biblio

Visible to the public {Runtime Enforcement of Cyber-Physical Systems}

Submitted by el_wehby on Mon, 05/14/2018 - 12:12pm
biblio

Visible to the public Supervisory control and reactive synthesis: a comparative introduction

Submitted by el_wehby on Mon, 05/14/2018 - 12:12pm
biblio

Visible to the public Predictive runtime enforcement

Submitted by el_wehby on Mon, 05/14/2018 - 12:11pm
biblio

Visible to the public Predictive runtime verification of timed properties

Submitted by el_wehby on Mon, 05/14/2018 - 12:11pm
biblio

Visible to the public Automatic Synthesis of Distributed Protocols

Submitted by el_wehby on Mon, 05/14/2018 - 12:11pm
biblio

Visible to the public When Do We Not Need Complex Assume-Guarantee Rules?

Submitted by el_wehby on Mon, 05/14/2018 - 12:11pm
biblio

Visible to the public Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

Submitted by el_wehby on Mon, 05/14/2018 - 12:11pm
biblio

Visible to the public Runtime enforcement of reactive systems using synchronous enforcers

Submitted by el_wehby on Mon, 05/14/2018 - 12:11pm