Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
From MaRDI portal
Publication:5464744
DOI10.1007/b100824zbMath1109.68518MaRDI QIDQ5464744
Publication date: 19 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100824
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Temporal Logic for Programmable Logic Controllers, Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic, A Distributed Approach to LARS Stream Reasoning (System paper), Learning Temporal Causal Sequence Relationships from Real-Time Time-Series, Parameter Synthesis Through Temporal Logic Specifications, Unnamed Item, Model Checking of Biological Systems, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Analog property checkers: a DDR2 case study, Generative abstraction of Markov population processes, Bridging the gap between single- and multi-model predictive runtime verification, From LTL to rLTL monitoring: improved monitorability through robust semantics, A framework to measure the robustness of programs in the unpredictable environment, Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges, Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search, The quest for an adequate semantic basis of dense-time metric temporal logic, Smoothed model checking for uncertain continuous-time Markov chains, Robustness of temporal logic specifications for continuous-time signals, Active and sparse methods in smoothed model checking, On temporal logic constraint solving for analyzing numerical data time series, Algorithms for monitoring real-time properties, Robust control for signal temporal logic specifications using discrete average space robustness, Model checking Markov population models by stochastic approximations, Weakness monitors for fail-aware systems, TeLEx: learning signal temporal logic from positive examples using tightness metric, A survey of challenges for runtime verification from advanced application domains (beyond software), Algebraic quantitative semantics for efficient online temporal monitoring, Sampling polynomial trajectories for LTL verification, Funnel control for fully actuated systems under a fragment of signal temporal logic specifications, Risk verification of stochastic systems with neural network controllers, Automated verification and synthesis of stochastic hybrid systems: a survey, Satisfiability checking for mission-time \textsf{LTL} (MLTL), Parameter synthesis of polynomial dynamical systems, Survey on mining signal temporal logic specifications, An STL-based formulation of resilience in cyber-physical systems, MITL verification under timing uncertainty, Classification of driving behaviors using STL formulas: a comparative study, Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications, How adaptive and reliable is your program?, Characterizing positively invariant sets: inductive and topological methods, Mining interpretable spatio-temporal logic properties for spatially distributed systems, Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems, SMT-based satisfiability of first-order LTL with event freezing functions and metric operators, Approximate abstractions of control systems with an application to aggregation, Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models, Bayesian statistical model checking with application to Stateflow/Simulink verification, Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks, Incremental reasoning in probabilistic signal temporal logic, Compositional falsification of cyber-physical systems with machine learning components, System design of stochastic models using robustness of temporal properties, A fuzzy real-time temporal logic, A brief account of runtime verification, Time window temporal logic, Robust online monitoring of signal temporal logic, A logic of behaviour in context, STL*: extending signal temporal logic with signal-value freezing operator, Monitoring bounded LTL properties using interval analysis, Data-driven verification of stochastic linear systems with signal temporal logic constraints, Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach, Monitoring Metric First-Order Temporal Properties, Spatial Logic and Spatial Model Checking for Closure Spaces, Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates, Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
Uses Software
