Alternating-time stream logic for multi-agent systems (Q967523): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2009.07.007
@@ Property / DOI: 10.1016/j.scico.2009.07.007 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2009.07.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1977329189
@@ Property / OpenAlex ID: W1977329189 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+On the expressiveness and complexity of randomization in finite state monitors
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Choosing social laws for multi-agent systems: Minimality and simplicity
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for channel-based component connectors
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2009.07.007
@@ Property / DOI: 10.1016/J.SCICO.2009.07.007 / rank @@
+Normal rank