scientific article; zbMATH DE number 1786477
From MaRDI portal
Publication:4547769
zbMATH Open0990.68088MaRDI QIDQ4547769FDOQ4547769
Authors: Pierre Wolper 
Publication date: 21 August 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900261
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (22)
- Compositional failure detection in structured transition systems
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
- Robust control for signal temporal logic specifications using discrete average space robustness
- Construction of an automaton from a formula of the monadic first-order theory of natural numbers
- Two Variable vs. Linear Temporal Logic in Model Checking and Games
- Weighted LTL with Discounting
- Guaranteed global performance through local coordinations
- Hybrid and first-order complete extensions of CaRet
- Tool support for learning Büchi automata and linear temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Bounded model checking of infinite state systems
- Model Checking Quantitative Linear Time Logic
Uses Software
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)
