Property:Tag
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Text
.
Usage
562
previous 20
20
50
100
250
500
next 20
Filter
<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>
Showing 20 pages using this property.
C
Conversion and Verification Procedure for Goal-Based Control Programs
+
bm07-cds
+
S
Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty
+
bm08-acc
+
F
Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty
+
bm08-cdc
+
P
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata
+
bm09-hscc
+
A
Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs
+
bm09-icse
+
C
Control Program Verification for a Sample Titan Aerobot Mission
+
bm09-infotech
+
N
Networks with the Smallest Average Distance and the Largest Average Clustering
+
bm10-arxiv
+
Q
Quantification and Minimization of Crosstalk Sensitivity in Networks
+
bm10b-arvix
+
E
Extremal Properties of Complex Networks
+
bm11-arxiv
+
P
Proportional Derivative (PD) Control on the Euclidean Group
+
bm95-ecc
+
E
Experimental Comparison of Trajectory Trackers for a Car with Trailers
+
bm96-ifac
+
C
Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge
+
bm97-acc
+
T
Tracking for Fully Actuated Mechanical Systems: A Geometric Framework
+
bm97-cds
+
Trajectory tracking for fully actuated mechanical systems
+
bm97-ecc
+
C
Control on the Sphere and Reduced Attitude Stabilization
+
bms95-nolcos
+
P
Passive Control of Flutter and Forced Response in Bladed Disks via Mistuning
+
bs99-phd
+
C
Cone Invariance and Rendezvous of Multiple Agents
+
btfm06-tac
+
S
Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge
+
bur+07-dgc
+
E
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems
+
bwm23-iros
+
A
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks
+
bygm15-cdc
+
Navigation menu
Page actions
Property
Discussion
Read
View source
History
Page actions
Property
Discussion
More
Tools
Personal tools
Log in
Navigation
Main Page
Courses
Events
Preprints
Projects
Search
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties