scientific article; zbMATH DE number 1786477

MaRDI QIDQ4547769zbMATH OpenFDO

Authors Pierre Wolper

Publication date 21 August 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2090/20900261

Mathematics Subject Classification ID

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)

Recommendations

• Implementation and Application of Automata
• Experiments with deterministic -automata for formulas of linear temporal logic
• scientific article; zbMATH DE number 5872401
• scientific article; zbMATH DE number 139828
• Automata theory and model checking

Cited in

(23)

• Model Checking Quantitative Linear Time Logic
• Compositional failure detection in structured transition systems
• Experiments with deterministic -automata for formulas of linear temporal logic
• Construction of an automaton from a formula of the monadic first-order theory of natural numbers
• Robust control for signal temporal logic specifications using discrete average space robustness
• Guaranteed global performance through local coordinations
• Hybrid and first-order complete extensions of CaRet
• Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
• Tool support for learning Büchi automata and linear temporal logic
• scientific article; zbMATH DE number 1538036 (Why is no real title available?)
• scientific article; zbMATH DE number 139828 (Why is no real title available?)
• scientific article; zbMATH DE number 6423748 (Why is no real title available?)
• Sampling polynomial trajectories for LTL verification
• Logic programming approach to automata-based decision procedures
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Complexity and succinctness issues for linear-time hybrid logics
• Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
• Implementation and Application of Automata
• Linear temporal logic vehicle routing with applications to multi-UAV mission planning
• Two variable vs. linear temporal logic in model checking and games
• scientific article; zbMATH DE number 4119651 (Why is no real title available?)
• Weighted LTL with discounting
• Bounded model checking of infinite state systems

Describes a project that uses

Uses Software

• SPIN

This page was built for publication:

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