Parameter Synthesis Through Temporal Logic Specifications

Thao Dang; Tommaso Dreossi; Carla Piazza

doi:10.1007/978-3-319-19249-9_14

ScienceGate Book Chapters

BOOK-CHAPTER

Parameter Synthesis Through Temporal Logic Specifications

Thao Dang Tommaso Dreossi Carla Piazza

Year: 2015 Lecture notes in computer science Pages: 213-230 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-319-19249-9_14

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Parametric statistics Computation Temporal logic Dynamical systems theory Algorithm Property (philosophy) Set (abstract data type) Polynomial Computation tree logic Nonlinear system Theoretical computer science Mathematics Programming language

Metrics

Cited By

2.73

FWCI (Field Weighted Citation Impact)

Refs

0.89

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Gene Regulatory Network Analysis

Life Sciences → Biochemistry, Genetics and Molecular Biology → Molecular Biology

Microbial Metabolic Engineering and Bioproduction

Life Sciences → Biochemistry, Genetics and Molecular Biology → Molecular Biology

Parameter Synthesis Through Temporal Logic Specifications

Metrics

Citation History

Topics

Related Documents

Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

Reactive Planner Synthesis Under Temporal Logic Specifications

Switching protocol synthesis for temporal logic specifications

Reactive synthesis from interval temporal logic specifications

Reactive synthesis from signal temporal logic specifications