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, κ.ά.
Έκδοση: (2023-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
ανά: Baier, C, κ.ά.
Έκδοση: (2022)

Reinforcement Learning in the Problem of Synthesis of Majority Schemes
ανά: Sergey Gurov, κ.ά.
Έκδοση: (2021-06-01)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
ανά: D'Costa, J, κ.ά.
Έκδοση: (2022)

Skolem meets Schanuel
ανά: Bilu, Y, κ.ά.
Έκδοση: (2022)

Mathematical theory of program correctness /
ανά: 406367 Bakker, Jaco de
Έκδοση: (1980)

Verificator: Educational Tool for Learning Programming
ανά: Danijel RADOSEVIC, κ.ά.
Έκδοση: (2009-10-01)

An Abstraction Technique for Verifying Shared-Memory Concurrency
ανά: Wytse Oortwijn, κ.ά.
Έκδοση: (2020-06-01)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
ανά: Mina Chavoshi, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2006)

Synthesis and alternating automata over real time
ανά: Jenkins, M, κ.ά.
Έκδοση: (2012)

Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
ανά: Adam Szcześniak, κ.ά.
Έκδοση: (2022-12-01)

Logic for computer scientists /
ανά: 316142 Schoning, Uwe
Έκδοση: (2008)

Central limit model checking
ανά: Bortolussi, L, κ.ά.
Έκδοση: (2018)

The logical basis for computer programming /
ανά: 179321 Manna, Zohar, κ.ά.
Έκδοση: (1985)

The logic of programming /
ανά: 395286 Hehner, Eric C. R.
Έκδοση: (1984)

Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems
ανά: Xiaoyan Wang, κ.ά.
Έκδοση: (2021-01-01)

Meta-Interpretive LEarning with Reuse
ανά: Rong Wang, κ.ά.
Έκδοση: (2024-03-01)

Model checking data-independent systems with arrays
ανά: Newcomb, T, κ.ά.
Έκδοση: (2003)

Quantum Program Synthesis Through Operator Learning and Selection
ανά: Sihyung Lee, κ.ά.
Έκδοση: (2023-01-01)

Discrete structures, logic, and computability /
ανά: 437766 Hein, James L.
Έκδοση: (2010)

Automated Verification of Shape and Size
ανά: Nguyen, Huu Hai, κ.ά.
Έκδοση: (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., κ.ά.
Έκδοση: (1978)

Mathematical logic in computer science /
ανά: Domolki, B., κ.ά.
Έκδοση: (1981)

Logics of specification languages /
ανά: Bjorner, D. (Dines), 1937-, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2021-06-01)

Synthesis of a mobile robot spatial stabilization system based on machine learning control by symbolic regression
ανά: Askhat I. Diveev, κ.ά.
Έκδοση: (2021-10-01)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
ανά: Nur Ainina Aqilah Jelani, author, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2013-12-01)

Modeling a Consistent Behavior of PLC-Sensors
ανά: E. V. Kuzmin, κ.ά.
Έκδοση: (2014-08-01)

Construction of PLC IL-Programs by LTL-Specification
ανά: D. A. Ryabukhin, κ.ά.
Έκδοση: (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)