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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Parsert, J
Rannpháirtithe:	Kröning, D
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2024
Ábhair:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

Míreanna comhchosúla

Reachability and escape problems in linear dynamical systems
de réir: Dcosta, J
Foilsithe / Cruthaithe: (2024)

Safe and certified reinforcement learning with logical constraints
de réir: Hasanbeig, MH
Foilsithe / Cruthaithe: (2020)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
de réir: Diogo Vaz, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
de réir: Baier, C, et al.
Foilsithe / Cruthaithe: (2022)

Reinforcement Learning in the Problem of Synthesis of Majority Schemes
de réir: Sergey Gurov, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Bounding the escape time of a linear dynamical system over a compact semialgebraic set
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2022)

Skolem meets Schanuel
de réir: Bilu, Y, et al.
Foilsithe / Cruthaithe: (2022)

Mathematical theory of program correctness /
de réir: 406367 Bakker, Jaco de
Foilsithe / Cruthaithe: (1980)

Verificator: Educational Tool for Learning Programming
de réir: Danijel RADOSEVIC, et al.
Foilsithe / Cruthaithe: (2009-10-01)

An Abstraction Technique for Verifying Shared-Memory Concurrency
de réir: Wytse Oortwijn, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
de réir: Mina Chavoshi, et al.
Foilsithe / Cruthaithe: (2023-09-01)

Logic and structured design for computer programmers /
de réir: 405314 Rood, Harold J.
Foilsithe / Cruthaithe: (2001)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
de réir: Bouillaguet, Charles, et al.
Foilsithe / Cruthaithe: (2006)

Synthesis and alternating automata over real time
de réir: Jenkins, M, et al.
Foilsithe / Cruthaithe: (2012)

Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
de réir: Adam Szcześniak, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Logic for computer scientists /
de réir: 316142 Schoning, Uwe
Foilsithe / Cruthaithe: (2008)

Central limit model checking
de réir: Bortolussi, L, et al.
Foilsithe / Cruthaithe: (2018)

The logical basis for computer programming /
de réir: 179321 Manna, Zohar, et al.
Foilsithe / Cruthaithe: (1985)

The logic of programming /
de réir: 395286 Hehner, Eric C. R.
Foilsithe / Cruthaithe: (1984)

Formal Reachability Analysis for Multi-Agent Reinforcement Learning Systems
de réir: Xiaoyan Wang, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Meta-Interpretive LEarning with Reuse
de réir: Rong Wang, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Model checking data-independent systems with arrays
de réir: Newcomb, T, et al.
Foilsithe / Cruthaithe: (2003)

Quantum Program Synthesis Through Operator Learning and Selection
de réir: Sihyung Lee, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Discrete structures, logic, and computability /
de réir: 437766 Hein, James L.
Foilsithe / Cruthaithe: (2010)

Automated Verification of Shape and Size
de réir: Nguyen, Huu Hai, et al.
Foilsithe / Cruthaithe: (2007)

Continuous hidden Markov models and the sequential probability ratio test
de réir: Darwin, O
Foilsithe / Cruthaithe: (2023)

A programming logic : with an introduction to the PL/CV verifier /
de réir: 422720 Constable, Robert L., et al.
Foilsithe / Cruthaithe: (1978)

Mathematical logic in computer science /
de réir: Domolki, B., et al.
Foilsithe / Cruthaithe: (1981)

Logics of specification languages /
de réir: Bjorner, D. (Dines), 1937-, et al.
Foilsithe / Cruthaithe: (2008)

Programme Evaluation Theory: The Next Step Toward a Synthesis of Logic Models and Organizational Theory
de réir: William J. Fear
Foilsithe / Cruthaithe: (2007-07-01)

Control Synthesis as Machine Learning Control by Symbolic Regression Methods
de réir: Elizaveta Shmalko, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Synthesis of a mobile robot spatial stabilization system based on machine learning control by symbolic regression
de réir: Askhat I. Diveev, et al.
Foilsithe / Cruthaithe: (2021-10-01)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
de réir: Nur Ainina Aqilah Jelani, author, et al.
Foilsithe / Cruthaithe: (2015)

Sistem perekodan dan pengesahan lapor diri latihan industri secara atas talian /
de réir: Nur Ainina Aqilah Jelani, author
Foilsithe / Cruthaithe: (2015)

Construction and Verification of PLC LD-programs by LTL-specification
de réir: E. V. Kuzmin, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Modeling a Consistent Behavior of PLC-Sensors
de réir: E. V. Kuzmin, et al.
Foilsithe / Cruthaithe: (2014-08-01)

Construction of PLC IL-Programs by LTL-Specification
de réir: D. A. Ryabukhin, et al.
Foilsithe / Cruthaithe: (2014-04-01)

Program synthesis from domain specific object models
de réir: Faitelson, D
Foilsithe / Cruthaithe: (2008)

Application of Machine Learning in Chemical Synthesis and Characterization
de réir: SUN Jie, LI Zihao, ZHANG Shuyu
Foilsithe / Cruthaithe: (2023-10-01)

Logic and structured design for computer programmers /
de réir: 405314 Rood, Harold J.
Foilsithe / Cruthaithe: (1992)