Decoupled fitness criteria for reactive systems

DOI10.1007/978-3-031-47115-5_6MaRDI QIDQ6550594

Derek Egolf, Stavros Tripakis

Publication date: 5 June 2024

zbMATH Keywords

verificationformal methodsreactive systems

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reachability analysis for timed automata using max-plus algebra
• Performance analysis of probabilistic timed automata using digital clocks
• Mixed-time signal temporal logic
• Model checking discounted temporal properties
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Quantitative languages
• Performance Evaluation of Schedulers in a Probabilistic Setting
• Model Checking Probabilistic Systems
• Quantitative Verification of Weighted Kripke Structures
• Introduction to Discrete Event Systems
• Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
• Robust Linear Temporal Logic
• Formalizing and Reasoning about Quality
• Learning model checking and the kernel trick for signal temporal logic on stochastic processes

This page was built for publication: Decoupled fitness criteria for reactive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6550594)