Format:
Table of Contents: “... -- 5 Related Work -- 6 Experimental Evaluation -- 7 Conclusions and Future Work -- References -- Tools...”
Click to View

Format:
Table of Contents: “...-phase Approach for Single-objective LRA -- 4.3 Combining Long-run Average and Total Rewards -- 5...”
Click to View

Format:
Table of Contents: “...-free library -- 4.5 Putting it all together -- 5 Modular verification of the Subject/Observer pattern...”
Click to View

Format:
Table of Contents: “....2 Validation Procedure -- 3 Checking/Verification -- 4 Examples -- 5 Conclusion and Related Work -- References...”
Click to View

Format:
Table of Contents: “... Strengths and Weaknesses -- 4 Tool Setup and Configuration -- 5 Software Project and Contributors...”
Click to View

Format:
Table of Contents: “... Formulation and Task Description -- 4 Reinforcement Learning -- 5 Search Skill Learning Approach -- 6...”
Click to View

Format:
Table of Contents: “... Automatic Structural Consistency Checks for Design Models -- 5 Satisfaction Verification Between Design...”
Click to View

Format:
Table of Contents: “... Bounding QSL [A] by SL [A] Formulae -- 5 Complexity -- 6 Application: Decidable hpGCL Verification -- 6...”
Click to View

Format:
Table of Contents: “... Launch Usage Model -- The Data Protection Usage Model -- The Run-time Integrity and Attestation Usage...”
Click to View

Format:
Table of Contents: “....2.4 Mathematical Notation Versus Coding -- 1.2.5 Write and Run Your First Program -- 1.3 A Python Program with a...”
Click to View

Format:
Table of Contents: “....4 Discussion -- 20.4.1 Verification of the Usability -- 20.4.2 Subject of Future Investigation -- 20.5...”
Click to View