Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098765445> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2098765445 abstract "Sigali is a tool that offers functionalities for verification of reactive systems and discrete controller synthesis. It manipulates ILTS: Implicit Labeled Transition Systems, an equational and symbolic representation of automata. The techniques used consist in manipulating the system of equations modeling the system instead of the sets of solutions, thus avoiding the enumeration of the state space. Each set of states is uniquely characterized by a predicate and the operations on sets can be equivalently performed on the associated predicates. A wide variety of properties, such as invariance, reachability and attractivity can be checked or ensured. Many algorithms for computing state predicates are also available" @default.
- W2098765445 created "2016-06-24" @default.
- W2098765445 creator A5018055868 @default.
- W2098765445 creator A5053628603 @default.
- W2098765445 creator A5054272105 @default.
- W2098765445 date "2006-01-01" @default.
- W2098765445 modified "2023-10-10" @default.
- W2098765445 title "The Sigali Tool Box Environment" @default.
- W2098765445 cites W1613593844 @default.
- W2098765445 cites W2010945517 @default.
- W2098765445 cites W2050622042 @default.
- W2098765445 cites W2097576837 @default.
- W2098765445 cites W2110316710 @default.
- W2098765445 cites W2165952420 @default.
- W2098765445 cites W2169132374 @default.
- W2098765445 cites W2612683070 @default.
- W2098765445 cites W2743742782 @default.
- W2098765445 doi "https://doi.org/10.1109/wodes.2006.382518" @default.
- W2098765445 hasPublicationYear "2006" @default.
- W2098765445 type Work @default.
- W2098765445 sameAs 2098765445 @default.
- W2098765445 citedByCount "7" @default.
- W2098765445 countsByYear W20987654452012 @default.
- W2098765445 countsByYear W20987654452013 @default.
- W2098765445 crossrefType "proceedings-article" @default.
- W2098765445 hasAuthorship W2098765445A5018055868 @default.
- W2098765445 hasAuthorship W2098765445A5053628603 @default.
- W2098765445 hasAuthorship W2098765445A5054272105 @default.
- W2098765445 hasBestOaLocation W20987654452 @default.
- W2098765445 hasConcept C105795698 @default.
- W2098765445 hasConcept C110251889 @default.
- W2098765445 hasConcept C112505250 @default.
- W2098765445 hasConcept C11413529 @default.
- W2098765445 hasConcept C118615104 @default.
- W2098765445 hasConcept C128896722 @default.
- W2098765445 hasConcept C136197465 @default.
- W2098765445 hasConcept C136643341 @default.
- W2098765445 hasConcept C140146324 @default.
- W2098765445 hasConcept C154945302 @default.
- W2098765445 hasConcept C167822520 @default.
- W2098765445 hasConcept C177264268 @default.
- W2098765445 hasConcept C17744445 @default.
- W2098765445 hasConcept C199360897 @default.
- W2098765445 hasConcept C199539241 @default.
- W2098765445 hasConcept C2776359362 @default.
- W2098765445 hasConcept C2777904410 @default.
- W2098765445 hasConcept C2779167558 @default.
- W2098765445 hasConcept C2779639559 @default.
- W2098765445 hasConcept C2779907942 @default.
- W2098765445 hasConcept C33923547 @default.
- W2098765445 hasConcept C41008148 @default.
- W2098765445 hasConcept C48103436 @default.
- W2098765445 hasConcept C72434380 @default.
- W2098765445 hasConcept C80444323 @default.
- W2098765445 hasConcept C94625758 @default.
- W2098765445 hasConceptScore W2098765445C105795698 @default.
- W2098765445 hasConceptScore W2098765445C110251889 @default.
- W2098765445 hasConceptScore W2098765445C112505250 @default.
- W2098765445 hasConceptScore W2098765445C11413529 @default.
- W2098765445 hasConceptScore W2098765445C118615104 @default.
- W2098765445 hasConceptScore W2098765445C128896722 @default.
- W2098765445 hasConceptScore W2098765445C136197465 @default.
- W2098765445 hasConceptScore W2098765445C136643341 @default.
- W2098765445 hasConceptScore W2098765445C140146324 @default.
- W2098765445 hasConceptScore W2098765445C154945302 @default.
- W2098765445 hasConceptScore W2098765445C167822520 @default.
- W2098765445 hasConceptScore W2098765445C177264268 @default.
- W2098765445 hasConceptScore W2098765445C17744445 @default.
- W2098765445 hasConceptScore W2098765445C199360897 @default.
- W2098765445 hasConceptScore W2098765445C199539241 @default.
- W2098765445 hasConceptScore W2098765445C2776359362 @default.
- W2098765445 hasConceptScore W2098765445C2777904410 @default.
- W2098765445 hasConceptScore W2098765445C2779167558 @default.
- W2098765445 hasConceptScore W2098765445C2779639559 @default.
- W2098765445 hasConceptScore W2098765445C2779907942 @default.
- W2098765445 hasConceptScore W2098765445C33923547 @default.
- W2098765445 hasConceptScore W2098765445C41008148 @default.
- W2098765445 hasConceptScore W2098765445C48103436 @default.
- W2098765445 hasConceptScore W2098765445C72434380 @default.
- W2098765445 hasConceptScore W2098765445C80444323 @default.
- W2098765445 hasConceptScore W2098765445C94625758 @default.
- W2098765445 hasLocation W20987654451 @default.
- W2098765445 hasLocation W20987654452 @default.
- W2098765445 hasOpenAccess W2098765445 @default.
- W2098765445 hasPrimaryLocation W20987654451 @default.
- W2098765445 hasRelatedWork W1596801655 @default.
- W2098765445 hasRelatedWork W1972437902 @default.
- W2098765445 hasRelatedWork W2358668433 @default.
- W2098765445 hasRelatedWork W2373011076 @default.
- W2098765445 hasRelatedWork W2376932109 @default.
- W2098765445 hasRelatedWork W2387147530 @default.
- W2098765445 hasRelatedWork W2390279801 @default.
- W2098765445 hasRelatedWork W2688602461 @default.
- W2098765445 hasRelatedWork W2748952813 @default.
- W2098765445 hasRelatedWork W2899084033 @default.
- W2098765445 isParatext "false" @default.
- W2098765445 isRetracted "false" @default.
- W2098765445 magId "2098765445" @default.
- W2098765445 workType "article" @default.