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

Bibliografiset tiedot
Päätekijä:	Parsert, J
Muut tekijät:	Kröning, D
Aineistotyyppi:	Opinnäyte
Kieli:	English
Julkaistu:	2024
Aiheet:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

Samankaltaisia teoksia

Reachability and escape problems in linear dynamical systems
Tekijä: Dcosta, J
Julkaistu: (2024)

Safe and certified reinforcement learning with logical constraints
Tekijä: Hasanbeig, MH
Julkaistu: (2020)

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

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

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

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

Skolem meets Schanuel
Tekijä: Bilu, Y, et al.
Julkaistu: (2022)

Mathematical theory of program correctness /
Tekijä: 406367 Bakker, Jaco de
Julkaistu: (1980)

Verificator: Educational Tool for Learning Programming
Tekijä: Danijel RADOSEVIC, et al.
Julkaistu: (2009-10-01)

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

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

Logic and structured design for computer programmers /
Tekijä: 405314 Rood, Harold J.
Julkaistu: (2001)

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

Synthesis and alternating automata over real time
Tekijä: Jenkins, M, et al.
Julkaistu: (2012)

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

Logic for computer scientists /
Tekijä: 316142 Schoning, Uwe
Julkaistu: (2008)

Central limit model checking
Tekijä: Bortolussi, L, et al.
Julkaistu: (2018)

The logical basis for computer programming /
Tekijä: 179321 Manna, Zohar, et al.
Julkaistu: (1985)

The logic of programming /
Tekijä: 395286 Hehner, Eric C. R.
Julkaistu: (1984)

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

Meta-Interpretive LEarning with Reuse
Tekijä: Rong Wang, et al.
Julkaistu: (2024-03-01)

Model checking data-independent systems with arrays
Tekijä: Newcomb, T, et al.
Julkaistu: (2003)

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

Discrete structures, logic, and computability /
Tekijä: 437766 Hein, James L.
Julkaistu: (2010)

Automated Verification of Shape and Size
Tekijä: Nguyen, Huu Hai, et al.
Julkaistu: (2007)

Continuous hidden Markov models and the sequential probability ratio test
Tekijä: Darwin, O
Julkaistu: (2023)

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

Mathematical logic in computer science /
Tekijä: Domolki, B., et al.
Julkaistu: (1981)

Logics of specification languages /
Tekijä: Bjorner, D. (Dines), 1937-, et al.
Julkaistu: (2008)

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

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

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

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

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

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

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

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

Program synthesis from domain specific object models
Tekijä: Faitelson, D
Julkaistu: (2008)

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

Logic and structured design for computer programmers /
Tekijä: 405314 Rood, Harold J.
Julkaistu: (1992)