FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Adjé, Assalé	The Policy Iterations Algorithm is Actually a Newton Method
C
Chapoutot, Alexandre	Discussion
F
Ferrari, Alberto	Challenges on the Application of Formal Methods for Validation and Verification in Aerospace Systems Engineering
G
Garoche, Pierre-Loïc	Automatic Generation and Formal Verification of an Interior Point Algorithm
L
Liiva, Kristjan	Compositional Taylor Model Based Validated Integration
R
Raffaeli, Laurent	Needs in formal methods for the validation of naval systems
Ray, Rajarshi	Parallel reachability analysis of hybrid systems in XSpeed
Raynolds, Andrew	Towards Enumerative Invariant Synthesis in SMT Solvers
Z
Zuliani, Paolo	Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation

Disclaimer | Powered by EasyChair Smart Program