Machine learning for function synthesis

Machine learning for function synthesis

<p>Function synthesis is the process of automatically constructing functions that satisfy a given specification. The space of functions as well as the format of the specifications vary greatly with each area of application. In this thesis, we consider synthesis in the context of satisfiability...

書目詳細資料
主要作者:	Parsert, J
其他作者:	Kröning, D
格式:	Thesis
語言:	English
出版:	2024
主題:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

相似書籍

Reachability and escape problems in linear dynamical systems
由: Dcosta, J
出版: (2024)

Safe and certified reinforcement learning with logical constraints
由: Hasanbeig, MH
出版: (2020)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
由: Diogo Vaz, et al.
出版: (2023-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
由: Baier, C, et al.
出版: (2022)

Reinforcement Learning in the Problem of Synthesis of Majority Schemes
由: Sergey Gurov, et al.
出版: (2021-06-01)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
由: D'Costa, J, et al.
出版: (2022)

Skolem meets Schanuel
由: Bilu, Y, et al.
出版: (2022)

Mathematical theory of program correctness /
由: 406367 Bakker, Jaco de
出版: (1980)

Verificator: Educational Tool for Learning Programming
由: Danijel RADOSEVIC, et al.
出版: (2009-10-01)

An Abstraction Technique for Verifying Shared-Memory Concurrency
由: Wytse Oortwijn, et al.
出版: (2020-06-01)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
由: Mina Chavoshi, et al.
出版: (2023-09-01)

Logic and structured design for computer programmers /
由: 405314 Rood, Harold J.
出版: (2001)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
由: Bouillaguet, Charles, et al.
出版: (2006)

Synthesis and alternating automata over real time
由: Jenkins, M, et al.
出版: (2012)

Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
由: Adam Szcześniak, et al.
出版: (2022-12-01)

Logic for computer scientists /
由: 316142 Schoning, Uwe
出版: (2008)

Central limit model checking
由: Bortolussi, L, et al.
出版: (2018)

The logical basis for computer programming /
由: 179321 Manna, Zohar, et al.
出版: (1985)

The logic of programming /
由: 395286 Hehner, Eric C. R.
出版: (1984)

Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems
由: Xiaoyan Wang, et al.
出版: (2021-01-01)

Meta-Interpretive LEarning with Reuse
由: Rong Wang, et al.
出版: (2024-03-01)

Model checking data-independent systems with arrays
由: Newcomb, T, et al.
出版: (2003)

Quantum Program Synthesis Through Operator Learning and Selection
由: Sihyung Lee, et al.
出版: (2023-01-01)

Discrete structures, logic, and computability /
由: 437766 Hein, James L.
出版: (2010)

Automated Verification of Shape and Size
由: Nguyen, Huu Hai, et al.
出版: (2007)

Continuous hidden Markov models and the sequential probability ratio test
由: Darwin, O
出版: (2023)

A programming logic : with an introduction to the PL/CV verifier /
由: 422720 Constable, Robert L., et al.
出版: (1978)

Mathematical logic in computer science /
由: Domolki, B., et al.
出版: (1981)

Logics of specification languages /
由: Bjorner, D. (Dines), 1937-, et al.
出版: (2008)

Programme Evaluation Theory: The Next Step Toward a Synthesis of Logic Models and Organizational Theory
由: William J. Fear
出版: (2007-07-01)

Control Synthesis as Machine Learning Control by Symbolic Regression Methods
由: Elizaveta Shmalko, et al.
出版: (2021-06-01)

Synthesis of a mobile robot spatial stabilization system based on machine learning control by symbolic regression
由: Askhat I. Diveev, et al.
出版: (2021-10-01)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
由: Nur Ainina Aqilah Jelani, author, et al.
出版: (2015)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
由: Nur Ainina Aqilah Jelani, author
出版: (2015)

Construction and Verification of PLC LD-programs by LTL-specification
由: E. V. Kuzmin, et al.
出版: (2013-12-01)

Modeling a Consistent Behavior of PLC-Sensors
由: E. V. Kuzmin, et al.
出版: (2014-08-01)

Construction of PLC IL-Programs by LTL-Specification
由: D. A. Ryabukhin, et al.
出版: (2014-04-01)

Program synthesis from domain specific object models
由: Faitelson, D
出版: (2008)

Application of Machine Learning in Chemical Synthesis and Characterization
由: SUN Jie, LI Zihao, ZHANG Shuyu
出版: (2023-10-01)

Logic and structured design for computer programmers /
由: 405314 Rood, Harold J.
出版: (1992)