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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Parsert, J
Awduron Eraill:	Kröning, D
Fformat:	Traethawd Ymchwil
Iaith:	English
Cyhoeddwyd:	2024
Pynciau:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

Eitemau Tebyg

Reachability and escape problems in linear dynamical systems
gan: Dcosta, J
Cyhoeddwyd: (2024)

Safe and certified reinforcement learning with logical constraints
gan: Hasanbeig, MH
Cyhoeddwyd: (2020)

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

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

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

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

Skolem meets Schanuel
gan: Bilu, Y, et al.
Cyhoeddwyd: (2022)

Mathematical theory of program correctness /
gan: 406367 Bakker, Jaco de
Cyhoeddwyd: (1980)

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

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

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

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

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

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

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

Logic for computer scientists /
gan: 316142 Schoning, Uwe
Cyhoeddwyd: (2008)

Central limit model checking
gan: Bortolussi, L, et al.
Cyhoeddwyd: (2018)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Program synthesis from domain specific object models
gan: Faitelson, D
Cyhoeddwyd: (2008)

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

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