Introduction to the Special issue on the Techniques of Programming Languages, Logic, and Formal Methods in Quantum Computing

2021 ◽  
Vol 2 (4) ◽  
pp. 1-3
Author(s):  
Xiaodi Wu
Keyword(s):  
Quantum Computing ◽  
Programming Languages ◽  
Formal Methods ◽  
Special Issue

scholarly journals Special issue on quantum programming languages

2006 ◽  
Vol 16 (3) ◽  
pp. 373-374
Author(s):  
PETER SELINGER
Keyword(s):  
Quantum Computing ◽  
Computer Science ◽  
Programming Languages ◽  
Quantum Computation ◽  
International Workshop ◽  
Special Issue ◽  
Mathematical Structures ◽  
Quantum Programming Languages ◽  
Quantum Programming

This special issue of Mathematical Structures in Computer Science grew out of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), which was held July 12–13, 2004 in Turku, Finland. The purpose of the workshop was to bring together researchers working on mathematical formalisms and programming languages for quantum computing. It was the second in a series of workshops aimed at addressing a growing interest in logical tools, languages, and semantical methods for analysing quantum computation.

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

scholarly journals Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)

2011 ◽  
Vol 76 (2) ◽  
pp. 63-64
Author(s):  
Darren Cofer ◽  
Alessandro Fantechi ◽  
Stefan Leue ◽  
Pedro Merino
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Special Issue

scholarly journals Verifiable and Interpretable Reinforcement Learning through Program Synthesis

2019 ◽  
Vol 33 ◽  
pp. 9902-9903
Author(s):  
Abhinav Verma
Keyword(s):  
Neural Network ◽  
Machine Learning ◽  
Neural Networks ◽  
Reinforcement Learning ◽  
Programming Languages ◽  
Formal Methods ◽  
Domain Knowledge ◽  
Policy Search ◽  
Safety Critical ◽  
Symbolic Methods

We study the problem of generating interpretable and verifiable policies for Reinforcement Learning (RL). Unlike the popular Deep Reinforcement Learning (DRL) paradigm, in which the policy is represented by a neural network, the aim of this work is to find policies that can be represented in highlevel programming languages. Such programmatic policies have several benefits, including being more easily interpreted than neural networks, and being amenable to verification by scalable symbolic methods. The generation methods for programmatic policies also provide a mechanism for systematically using domain knowledge for guiding the policy search. The interpretability and verifiability of these policies provides the opportunity to deploy RL based solutions in safety critical environments. This thesis draws on, and extends, work from both the machine learning and formal methods communities.

Sign in / Sign up

Export Citation Format

Share Document