Robust Satisfaction of Temporal Logic Over Real-Valued Signals

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-15297-9_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Four Valued Logic

2017English

Reinforcement Learning for Temporal Logic Control Synthesis With Probabilistic Satisfaction Guarantees

2019English

Interval-Valued Logic Metric Spaces

2018English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Many-Valued Logic in Manufacturing

2016English

The Complexity of Linear-Time Temporal Logic Over the Class of Ordinals

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

Natural Three-Valued Logics and Classical Logic

Logical Investigations
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy