FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1789619899> ?p ?o ?g. }

• W1789619899 endingPage "1114" @default.
• W1789619899 startingPage "1107" @default.
• W1789619899 abstract "We investigate parameter synthesis in the context of temporal-epistemic logic. We introduce CTLPK, a parametric extension to the branching time temporal-epistemic logic CTLK with free variables representing groups of agents. We give algorithms for automatically synthesising the groups of agents that make a given parametric formula satisfied. We discuss an implementation of the technique on top of the open-source model checker mcmas and demonstrate its attractiveness by reporting the experimental results obtained." @default.
• W1789619899 created "2016-06-24" @default.
• W1789619899 creator A5015045050 @default.
• W1789619899 creator A5015791359 @default.
• W1789619899 creator A5040203154 @default.
• W1789619899 creator A5040588151 @default.
• W1789619899 date "2012-06-04" @default.
• W1789619899 modified "2023-09-27" @default.
• W1789619899 title "Group synthesis for parametric temporal-epistemic logic" @default.
• W1789619899 cites W1507793072 @default.
• W1789619899 cites W1568090252 @default.
• W1789619899 cites W1587990038 @default.
• W1789619899 cites W1679534293 @default.
• W1789619899 cites W1839943810 @default.
• W1789619899 cites W1882581446 @default.
• W1789619899 cites W2087811006 @default.
• W1789619899 cites W2110930028 @default.
• W1789619899 cites W2129559415 @default.
• W1789619899 cites W2146819619 @default.
• W1789619899 cites W2156289446 @default.
• W1789619899 cites W2165856726 @default.
• W1789619899 cites W2913459036 @default.
• W1789619899 cites W3003153370 @default.
• W1789619899 doi "https://doi.org/10.5555/2343776.2343855" @default.
• W1789619899 hasPublicationYear "2012" @default.
• W1789619899 type Work @default.
• W1789619899 sameAs 1789619899 @default.
• W1789619899 citedByCount "3" @default.
• W1789619899 countsByYear W17896198992014 @default.
• W1789619899 countsByYear W17896198992016 @default.
• W1789619899 countsByYear W17896198992020 @default.
• W1789619899 crossrefType "proceedings-article" @default.
• W1789619899 hasAuthorship W1789619899A5015045050 @default.
• W1789619899 hasAuthorship W1789619899A5015791359 @default.
• W1789619899 hasAuthorship W1789619899A5040203154 @default.
• W1789619899 hasAuthorship W1789619899A5040588151 @default.
• W1789619899 hasConcept C102993220 @default.
• W1789619899 hasConcept C105795698 @default.
• W1789619899 hasConcept C107247716 @default.
• W1789619899 hasConcept C110251889 @default.
• W1789619899 hasConcept C11171543 @default.
• W1789619899 hasConcept C11413529 @default.
• W1789619899 hasConcept C117251300 @default.
• W1789619899 hasConcept C151730666 @default.
• W1789619899 hasConcept C154945302 @default.
• W1789619899 hasConcept C15744967 @default.
• W1789619899 hasConcept C159985019 @default.
• W1789619899 hasConcept C192562407 @default.
• W1789619899 hasConcept C199360897 @default.
• W1789619899 hasConcept C203659156 @default.
• W1789619899 hasConcept C206175624 @default.
• W1789619899 hasConcept C25016198 @default.
• W1789619899 hasConcept C2778029271 @default.
• W1789619899 hasConcept C2779343474 @default.
• W1789619899 hasConcept C31173074 @default.
• W1789619899 hasConcept C33923547 @default.
• W1789619899 hasConcept C41008148 @default.
• W1789619899 hasConcept C4777664 @default.
• W1789619899 hasConcept C80444323 @default.
• W1789619899 hasConcept C86803240 @default.
• W1789619899 hasConceptScore W1789619899C102993220 @default.
• W1789619899 hasConceptScore W1789619899C105795698 @default.
• W1789619899 hasConceptScore W1789619899C107247716 @default.
• W1789619899 hasConceptScore W1789619899C110251889 @default.
• W1789619899 hasConceptScore W1789619899C11171543 @default.
• W1789619899 hasConceptScore W1789619899C11413529 @default.
• W1789619899 hasConceptScore W1789619899C117251300 @default.
• W1789619899 hasConceptScore W1789619899C151730666 @default.
• W1789619899 hasConceptScore W1789619899C154945302 @default.
• W1789619899 hasConceptScore W1789619899C15744967 @default.
• W1789619899 hasConceptScore W1789619899C159985019 @default.
• W1789619899 hasConceptScore W1789619899C192562407 @default.
• W1789619899 hasConceptScore W1789619899C199360897 @default.
• W1789619899 hasConceptScore W1789619899C203659156 @default.
• W1789619899 hasConceptScore W1789619899C206175624 @default.
• W1789619899 hasConceptScore W1789619899C25016198 @default.
• W1789619899 hasConceptScore W1789619899C2778029271 @default.
• W1789619899 hasConceptScore W1789619899C2779343474 @default.
• W1789619899 hasConceptScore W1789619899C31173074 @default.
• W1789619899 hasConceptScore W1789619899C33923547 @default.
• W1789619899 hasConceptScore W1789619899C41008148 @default.
• W1789619899 hasConceptScore W1789619899C4777664 @default.
• W1789619899 hasConceptScore W1789619899C80444323 @default.
• W1789619899 hasConceptScore W1789619899C86803240 @default.
• W1789619899 hasLocation W17896198991 @default.
• W1789619899 hasOpenAccess W1789619899 @default.
• W1789619899 hasPrimaryLocation W17896198991 @default.
• W1789619899 hasRelatedWork W1537589219 @default.
• W1789619899 hasRelatedWork W1748450182 @default.
• W1789619899 hasRelatedWork W1791618115 @default.
• W1789619899 hasRelatedWork W1799163117 @default.
• W1789619899 hasRelatedWork W1872003434 @default.
• W1789619899 hasRelatedWork W1969384890 @default.
• W1789619899 hasRelatedWork W1986424898 @default.
• W1789619899 hasRelatedWork W2015307578 @default.
• W1789619899 hasRelatedWork W2048285884 @default.
• W1789619899 hasRelatedWork W2048780543 @default.
• W1789619899 hasRelatedWork W2053836944 @default.

• next