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)