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
フォーマット:	学位論文
言語:	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)