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

Bibliográfalaš dieđut
Váldodahkki:	Parsert, J
Eará dahkkit:	Kröning, D
Materiálatiipa:	Oahppočájánas
Giella:	English
Almmustuhtton:	2024
Fáttát:	Program synthesis Function synthesis Machine learning Synthesis Verification (logic) Reinforcement learning Computer software > verification Computer programs > termination Logic, symbolic and mathematical

Geahča maid

Reachability and escape problems in linear dynamical systems
Dahkki: Dcosta, J
Almmustuhtton: (2024)

Safe and certified reinforcement learning with logical constraints
Dahkki: Hasanbeig, MH
Almmustuhtton: (2020)

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

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

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

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

Skolem meets Schanuel
Dahkki: Bilu, Y, et al.
Almmustuhtton: (2022)

Mathematical theory of program correctness /
Dahkki: 406367 Bakker, Jaco de
Almmustuhtton: (1980)

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

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

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

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

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

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

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

Logic for computer scientists /
Dahkki: 316142 Schoning, Uwe
Almmustuhtton: (2008)

Central limit model checking
Dahkki: Bortolussi, L, et al.
Almmustuhtton: (2018)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Program synthesis from domain specific object models
Dahkki: Faitelson, D
Almmustuhtton: (2008)

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

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