Deductive verification of simple foraging robotic behaviours (Q3653523): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / 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.1108/17563780911005818
+Normal rank
@@ Property / OpenAlex ID @@
+W1979495062
@@ Property / OpenAlex ID: W1979495062 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Mechanising first-order temporal resolution
@@ Property / cites work: Mechanising first-order temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Temporalising tableaux
@@ Property / cites work: Temporalising tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing a fair monodic temporal logic prover
@@ Property / cites work: Implementing a fair monodic temporal logic prover / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the monodic fragment of first-order temporal logic
+Normal rank