Symbolic Synthesis for Epistemic Specifications With Observational Semantics

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-54862-8_39
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Measure Semantics and Qualitative Semantics for Epistemic Modals

Semantics and Linguistic Theory
2015English

Measure Semantics and Qualitative Semantics for Epistemic Modals

Semantics and Linguistic Theory
2013English

Some Formal Semantics for Epistemic Modesty

Logic and Logical Philosophy
Philosophy
2020English

A Two-Dimensional Semantics for Epistemic Modals

Philosophia Scientiae
Philosophy of ScienceHistory
2012English

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Test Generation Based on Symbolic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Observational Interpretation of Casl Specifications

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2008English

Controller Synthesis for Nonlinear Systems With Reachability Specifications Using Monotonicity

2019English

Distributed Synthesis for Regular and Contextfree Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy