1446730

biblio

Visible to the public Automatic Parallelization of Simulink Models for Multi-core Architectures

Submitted by el_wehby on Tue, 05/15/2018 - 10:46pm
biblio

Visible to the public Design and Synthesis of a Hierarchical Hybrid Controller for Quadrotor Navigation

Submitted by el_wehby on Tue, 05/15/2018 - 10:46pm
biblio

Visible to the public Extended LTLvis Motion Planning Interface

Submitted by el_wehby on Tue, 05/15/2018 - 10:46pm
biblio

Visible to the public Planning in Dynamic Environments Through Temporal Logic Monitoring

Submitted by el_wehby on Tue, 05/15/2018 - 10:46pm
biblio

Visible to the public Toward Modeling Concurrency and Reconfiguration in Vehicular Systems

Submitted by el_wehby on Tue, 05/15/2018 - 10:46pm
biblio

Visible to the public Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach

Submitted by el_wehby on Tue, 05/15/2018 - 10:46pm
biblio

Visible to the public Traffic Light Status Detection Using Movement Patterns of Vehicles

Submitted by el_wehby on Tue, 05/15/2018 - 10:45pm
biblio

Visible to the public Temporal Logic Control under Incomplete or Conflicting Information

Submitted by el_wehby on Tue, 05/15/2018 - 10:45pm