Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos Abstract— This paper proposes an approach to automatically generating

Source URL: www.public.asu.edu

• Computational science
• Applied mathematics
• Modeling and simulation
• Scientific modeling
• Simulation
• Computer simulation
• Control theory
• Self-driving car
• Systems science

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Logic
• Metaphysics
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• Non-classical logic
• Model checking
• Many-valued logic
• Lattice

Hybrid Approximate Gradient and Stochastic Descent for Falsification of Nonlinear Systems Shakiba Yaghoubi and Georgios Fainekos Abstract— Studying transient properties of nonlinear systems is an important problem for

Source URL: www.public.asu.edu

• Applied mathematics
• Electrical engineering
• Epistemology
• Control engineering
• Control theory
• Cybernetics
• Global optimization
• Falsifiability
• Linear time-invariant system
• PROPT
• Conjugate gradient method

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

PDF Document

Source URL: modeling.asu.edu

DOC Document

Source URL: modeling.asu.edu

PDF Document

Source URL: homepages.law.asu.edu

PDF Document

Source URL: www.asu-hyogo.org

PDF Document

Source URL: chaos1.la.asu.edu