Results 31 to 40 of about 2,329,578 (354)
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees [PDF]
IEEE Conference on Decision and Control, 2019 We present a model-free reinforcement learning algorithm to synthesize control policies that maximize the probability of satisfying high-level control objectives given as Linear Temporal Logic (LTL) formulas.
Mohammadhosein Hasanbeig +5 more
semanticscholar +1 more source
Substructure Temporal Logic [PDF]
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 In formal verification and design, reasoning about substructures is a crucial aspect for several fundamental problems, whose solution often requires to select a portion of the model of interest on which to verify a specific property. In this paper, we present a new branching-time temporal logic, called Substructure Temporal Logic (STL*, for short ...
BENERECETTI, MASSIMO +2 more
openaire +3 more sources
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications [PDF]
American Control Conference, 2019 We present a new average-based robustness for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints.
N. Mehdipour, C. Vasile, C. Belta
semanticscholar +1 more source
Automata Linear Dynamic Logic on Finite Traces [PDF]
Logical Methods in Computer ScienceTemporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance between expressiveness and complexity.
Kevin W. Smith, Moshe Y. Vardi
doaj +1 more source
Revising the Classic Computing Paradigm and Its Technological Implementations
Informatics, 2021 Today’s computing is based on the classic paradigm proposed by John von Neumann, three-quarters of a century ago. That paradigm, however, was justified for (the timing relations of) vacuum tubes only. The technological development invalidated the classic
János Végh
doaj +1 more source
Mean-Payoff Games with ω-Regular Specifications
Games, 2022 Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players.
Julian Gutierrez +2 more
doaj +1 more source
The Logic of Temporal Domination [PDF]
2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF), 2019 In this short note, we are concerned with the fairness condition "A and B hold almost equally often", which is important for specifying and verifying the correctness of non-terminating processes and protocols. We introduce the logic of temporal domination, in which the above condition can be expressed.
openaire +3 more sources
Temporal Logics with Language Parameters [PDF]
Information and Computation, 2021 Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many properties of interest like reachability, even simple regular properties like "Every other index is labelled a cannot be expressed in these logics. While many extensions were
Jens Oliver Gutsfeld +2 more
openaire +3 more sources
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems [PDF]
Int. J. Robotics Res., 2018 This article proposes a new highly scalable and asymptotically optimal control synthesis algorithm from linear temporal logic specifications, called STyLu S * for large-Scale optimal Temporal Logic Synthesis, that is designed to solve complex temporal ...
Y. Kantaros, M. Zavlanos
semanticscholar +1 more source
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics [PDF]
IEEE Conference on Decision and Control, 2019 We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL).
Iman Haghighi +3 more
semanticscholar +1 more source