scientific article; zbMATH DE number 1786477
From MaRDI portal
Publication:4547769
zbMath0990.68088MaRDI QIDQ4547769
Publication date: 21 August 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900261
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (14)
Bounded model checking of infinite state systems ⋮ Linear temporal logic vehicle routing with applications to multi-UAV mission planning ⋮ Weighted LTL with Discounting ⋮ Logic programming approach to automata-based decision procedures ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ Specification of communicating processes: temporal logic versus refusals-based refinement ⋮ Robust control for signal temporal logic specifications using discrete average space robustness ⋮ Hybrid and First-Order Complete Extensions of CaRet ⋮ Model Checking Quantitative Linear Time Logic ⋮ Guaranteed global performance through local coordinations ⋮ Compositional Failure Detection in Structured Transition Systems ⋮ Sampling polynomial trajectories for LTL verification ⋮ Two Variable vs. Linear Temporal Logic in Model Checking and Games ⋮ Complexity and succinctness issues for linear-time hybrid logics
Uses Software
This page was built for publication:
