Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic (Q681718): Difference between revisions

@@ Property / author @@
-Anatoli N. Chebotarev
@@ Property / author: Anatoli N. Chebotarev / rank @@
-Normal rank
@@ Property / author @@
+Anatoli N. Chebotarev
@@ Property / author: Anatoli N. Chebotarev / 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.1007/s10559-017-9969-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2757040240
@@ Property / OpenAlex ID: W2757040240 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Harmonization of automata specifications represented in the language L
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Harmonization of interacting automata
@@ Property / cites work: Harmonization of interacting automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5147350
@@ Property / cites work: Q5147350 / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of the automaton specification logical language and the synthesis problem
+Normal rank
@@ Property / cites work @@
+Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata
+Normal rank
@@ Property / cites work @@
+Topological properties of omega context-free languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:681718