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