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...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Parsert, J
Tác giả khác:	Kröning, D
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2024
Những chủ đề:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

Những quyển sách tương tự

Reachability and escape problems in linear dynamical systems
Bằng: Dcosta, J
Được phát hành: (2024)

Safe and certified reinforcement learning with logical constraints
Bằng: Hasanbeig, MH
Được phát hành: (2020)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
Bằng: Diogo Vaz, et al.
Được phát hành: (2023-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
Bằng: Baier, C, et al.
Được phát hành: (2022)

Reinforcement Learning in the Problem of Synthesis of Majority Schemes
Bằng: Sergey Gurov, et al.
Được phát hành: (2021-06-01)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

Skolem meets Schanuel
Bằng: Bilu, Y, et al.
Được phát hành: (2022)

Mathematical theory of program correctness /
Bằng: 406367 Bakker, Jaco de
Được phát hành: (1980)

Verificator: Educational Tool for Learning Programming
Bằng: Danijel RADOSEVIC, et al.
Được phát hành: (2009-10-01)

An Abstraction Technique for Verifying Shared-Memory Concurrency
Bằng: Wytse Oortwijn, et al.
Được phát hành: (2020-06-01)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
Bằng: Mina Chavoshi, et al.
Được phát hành: (2023-09-01)

Logic and structured design for computer programmers /
Bằng: 405314 Rood, Harold J.
Được phát hành: (2001)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Bằng: Bouillaguet, Charles, et al.
Được phát hành: (2006)

Synthesis and alternating automata over real time
Bằng: Jenkins, M, et al.
Được phát hành: (2012)

Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
Bằng: Adam Szcześniak, et al.
Được phát hành: (2022-12-01)

Logic for computer scientists /
Bằng: 316142 Schoning, Uwe
Được phát hành: (2008)

Central limit model checking
Bằng: Bortolussi, L, et al.
Được phát hành: (2018)

The logical basis for computer programming /
Bằng: 179321 Manna, Zohar, et al.
Được phát hành: (1985)

The logic of programming /
Bằng: 395286 Hehner, Eric C. R.
Được phát hành: (1984)

Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems
Bằng: Xiaoyan Wang, et al.
Được phát hành: (2021-01-01)

Meta-Interpretive LEarning with Reuse
Bằng: Rong Wang, et al.
Được phát hành: (2024-03-01)

Model checking data-independent systems with arrays
Bằng: Newcomb, T, et al.
Được phát hành: (2003)

Quantum Program Synthesis Through Operator Learning and Selection
Bằng: Sihyung Lee, et al.
Được phát hành: (2023-01-01)

Discrete structures, logic, and computability /
Bằng: 437766 Hein, James L.
Được phát hành: (2010)

Automated Verification of Shape and Size
Bằng: Nguyen, Huu Hai, et al.
Được phát hành: (2007)

Continuous hidden Markov models and the sequential probability ratio test
Bằng: Darwin, O
Được phát hành: (2023)

A programming logic : with an introduction to the PL/CV verifier /
Bằng: 422720 Constable, Robert L., et al.
Được phát hành: (1978)

Mathematical logic in computer science /
Bằng: Domolki, B., et al.
Được phát hành: (1981)

Logics of specification languages /
Bằng: Bjorner, D. (Dines), 1937-, et al.
Được phát hành: (2008)

Programme Evaluation Theory: The Next Step Toward a Synthesis of Logic Models and Organizational Theory
Bằng: William J. Fear
Được phát hành: (2007-07-01)

Control Synthesis as Machine Learning Control by Symbolic Regression Methods
Bằng: Elizaveta Shmalko, et al.
Được phát hành: (2021-06-01)

Synthesis of a mobile robot spatial stabilization system based on machine learning control by symbolic regression
Bằng: Askhat I. Diveev, et al.
Được phát hành: (2021-10-01)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
Bằng: Nur Ainina Aqilah Jelani, author, et al.
Được phát hành: (2015)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
Bằng: Nur Ainina Aqilah Jelani, author
Được phát hành: (2015)

Construction and Verification of PLC LD-programs by LTL-specification
Bằng: E. V. Kuzmin, et al.
Được phát hành: (2013-12-01)

Modeling a Consistent Behavior of PLC-Sensors
Bằng: E. V. Kuzmin, et al.
Được phát hành: (2014-08-01)

Construction of PLC IL-Programs by LTL-Specification
Bằng: D. A. Ryabukhin, et al.
Được phát hành: (2014-04-01)

Program synthesis from domain specific object models
Bằng: Faitelson, D
Được phát hành: (2008)

Application of Machine Learning in Chemical Synthesis and Characterization
Bằng: SUN Jie, LI Zihao, ZHANG Shuyu
Được phát hành: (2023-10-01)

Logic and structured design for computer programmers /
Bằng: 405314 Rood, Harold J.
Được phát hành: (1992)