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

Bibliografske podrobnosti
Glavni avtor:	Parsert, J
Drugi avtorji:	Kröning, D
Format:	Thesis
Jezik:	English
Izdano:	2024
Teme:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

Podobne knjige/članki

Reachability and escape problems in linear dynamical systems
od: Dcosta, J
Izdano: (2024)

Safe and certified reinforcement learning with logical constraints
od: Hasanbeig, MH
Izdano: (2020)

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

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

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

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

Skolem meets Schanuel
od: Bilu, Y, et al.
Izdano: (2022)

Mathematical theory of program correctness /
od: 406367 Bakker, Jaco de
Izdano: (1980)

Verificator: Educational Tool for Learning Programming
od: Danijel RADOSEVIC, et al.
Izdano: (2009-10-01)

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

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

Logic and structured design for computer programmers /
od: 405314 Rood, Harold J.
Izdano: (2001)

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

Synthesis and alternating automata over real time
od: Jenkins, M, et al.
Izdano: (2012)

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

Logic for computer scientists /
od: 316142 Schoning, Uwe
Izdano: (2008)

Central limit model checking
od: Bortolussi, L, et al.
Izdano: (2018)

The logical basis for computer programming /
od: 179321 Manna, Zohar, et al.
Izdano: (1985)

The logic of programming /
od: 395286 Hehner, Eric C. R.
Izdano: (1984)

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

Meta-Interpretive LEarning with Reuse
od: Rong Wang, et al.
Izdano: (2024-03-01)

Model checking data-independent systems with arrays
od: Newcomb, T, et al.
Izdano: (2003)

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

Discrete structures, logic, and computability /
od: 437766 Hein, James L.
Izdano: (2010)

Automated Verification of Shape and Size
od: Nguyen, Huu Hai, et al.
Izdano: (2007)

Continuous hidden Markov models and the sequential probability ratio test
od: Darwin, O
Izdano: (2023)

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

Mathematical logic in computer science /
od: Domolki, B., et al.
Izdano: (1981)

Logics of specification languages /
od: Bjorner, D. (Dines), 1937-, et al.
Izdano: (2008)

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

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

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

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

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

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

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

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

Program synthesis from domain specific object models
od: Faitelson, D
Izdano: (2008)

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

Logic and structured design for computer programmers /
od: 405314 Rood, Harold J.
Izdano: (1992)