SPOT

swMATH9473MaRDI QIDQ21456FDOQ21456

Author name not available (Why is that?)

Cited In (48)

• Timed hyperproperties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• Optimized temporal monitors for SystemcC
• Practical synthesis of reactive systems from LTL specifications via parity games
• A tableau construction for finite linear-time temporal logic
• A Logical Approach to Data-Aware Automated Sequence Generation
• LTL to self-loop alternating automata with generic acceptance and back
• An explicit transition system construction approach to LTL satisfiability checking
• Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
• A CTL* Model Checker for Petri Nets
• From LTL to unambiguous Büchi automata via disambiguation of alternating automata
• Efficient approach of translating LTL formulae into Büchi automata
• Fairness modulo theory: a new approach to LTL software model checking
• Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
• On-the-fly emptiness check of transition-based Streett automata
• Strategies, model checking and branching-time properties in Maude
• Determinization and limit-determinization of Emerson-Lei automata
• Live synthesis
• Automata-driven partial order reduction and guided search for LTL model checking
• Manipulating LTL Formulas Using Spot 1.0
• Linear temporal logic symbolic model checking
• Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
• A weakness measure for GR(1) formulae
• Safraless LTL synthesis considering maximal realizability
• Applications and Theory of Petri Nets 2005
• From Philosophical to Industrial Logics
• Index appearance record with preorders
• Generic Emptiness Check for Fun and Profit
• New Optimizations and Heuristics for Determinization of Büchi Automata
• From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
• Path planning for robotic teams based on LTL specifications and Petri net models
• Title not available (Why is that?)
• One Theorem to Rule Them All
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• Degeneralization algorithm for generation of Büchi automata based on contented situation
• Time window temporal logic
• Seminator 2 can complement generalized Büchi automata via improved semi-determinization
• LTL Model Checking with Neco
• Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
• Index Appearance Record for Transforming Rabin Automata into Parity Automata
• From LTL to deterministic automata. A safraless compositional approach
• Reactive synthesis with maximum realizability of linear temporal logic specifications
• Component-wise incremental LTL model checking
• On the Relationship between LTL Normal Forms and Büchi Automata
• SAT-based explicit LTL reasoning and its application to satisfiability checking
• Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

This page was built for software: SPOT