User Settings
P

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

2

Papers

0

Citations

0

h-index

0

i10-index

Pascal Lauer is an academic researcher from Australian National University. The author has contributed to research in topics: Formal Methods in Verification & Embedded Systems Design Techniques & AI-based Problem Solving and Planning.

Research Topics

Formal Methods in VerificationEmbedded Systems Design TechniquesAI-based Problem Solving and PlanningReal-Time Systems SchedulingManufacturing Process and Optimization

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat